ac-comphist.dat

((("簡単なGUI" .
   [1 0 0 0 0 0])
  ("VBox" .
   [3 0 0 0])
  ("GTK_WINDOW" .
   [1 0 0 0 0 0 0 0 0 0])
  ("window" .
   [4 0 0 0 0 0])
  ("argv" .
   [1 0 0 0])
  ("VDM++仕様上に" .
   [1 0 0 0 0 0 0 0 0])
  ("border" .
   [3 0 0 0 0 0])
  ("setPid" .
   [0 0 0 1 0 0])
  ("moveLCourseStart" .
   [0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0])
  ("__AREA_METHOD_STANDARD_RUN__" .
   [1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0])
  ("__AREA_METHOD_STANDARD_RUN" .
   [1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0])
  ("forward_area_method_standard_run" .
   [0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0])
  ("turn_area_method_standard_run" .
   [0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0])
  ("int8_t" .
   [2 0 0 0 0 0])
  ("cs_area_method_standard_run" .
   [0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0])
  ("NULL" .
   [1 0 0 0])
  ("emoter" .
   [1 0 0 0 0 0])
  ("lifter" .
   [1 0 0 0 0 0])
  ("Lifter" .
   [1 0 0 0 0 0])
  ("pidWalker" .
   [0 0 0 0 1 0 1 0 0])
  ("PidWalker" .
   [1 0 0 0 0 0 0 0 0])
  ("flagman" .
   [1 0 0 0 0 0 0])
  ("Flagman" .
   [1 0 0 0 0 0 0])
  ("bt" .
   [2 0])
  ("AREA_FINISHED" .
   [0 0 0 0 0 1 0 0 0 0 0 0 0])
  ("Area" .
   [1 0 0 0])
  ("area_name_array" .
   [1 0 0 0 0 0 0 0 0 0 0 0 0 0 0])
  ("current_area_index" .
   [0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0])
  ("Pid" .
   [2 0 0])
  ("area_name" .
   [1 0 0 0 0 0 0 0 0])
  ("Area_name_list" .
   [0 0 0 0 1 0 0 0 0 2 0 0 0 0])
  ("this_area_is_finished" .
   [2 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0])
  ("area" .
   [2 0 0 0])
  ("RED" .
   [1 0 0])
  ("color_print" .
   [0 0 0 1 0 0 0 0 0 0 0])
  ("str1" .
   [7 0 0 0])
  ("free" .
   [1 0 0 0])
  ("sizeof" .
   [0 0 1 0 0 0])
  ("malloc" .
   [1 0 0 0 0 0])
  ("stdlib" .
   [1 0 0 0 0 0])
  ("Buffer_get_line" .
   [0 0 0 0 0 0 0 0 0 0 1 1 0 0 0])
  ("lines" .
   [3 0 0 0 0])
  ("Buffer" .
   [4 0 0 0 0 0])
  ("Redmine" .
   [1 0 0 0 0 0 0])
  ("IEEE" .
   [1 0 0 0])
  ("threading" .
   [0 0 0 0 0 1 0 0 0])
  ("Event" .
   [1 0 0 0 0])
  ("import" .
   [0 0 0 0 1 0])
  ("sleep" .
   [3 0 0 0 0])
  ("drive" .
   [3 0 0 0 0])
  ("sensor" .
   [2 0 0 0 0 0])
  ("event" .
   [3 0 0 0 0])
  ("turn_event" .
   [1 0 0 0 0 2 0 0 0 0])
  ("create" .
   [11 0 0 0 0 0])
  ("Create2" .
   [3 0 0 0 0 0 0])
  ("create2" .
   [5 0 0 0 0 0 0])
  ("input_month" .
   [0 0 0 0 0 2 1 2 0 0 0])
  ("input_year" .
   [2 0 0 0 1 0 1 2 2 0])
  ("ARGV" .
   [0 0 2 1])
  ("pid_get_output" .
   [0 0 0 0 0 0 0 1 0 0 0 0 0 0])
  ("pid_input" .
   [1 0 0 0 0 0 0 0 0])
  ("pid" .
   [7 0 0])
  ("my_pid" .
   [1 0 1 1 0 0])
  ("rock_spawn_wait_blue" .
   [1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0])
  ("rock_spawn_wait_red" .
   [1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0])
  ("score_timer" .
   [2 0 0 0 0 0 0 0 0 0 0])
  ("ScoreTimer" .
   [0 0 0 1 0 0 0 0 0 0])
  ("font" .
   [1 0 0 0])
  ("analog_read" .
   [0 0 0 0 0 0 0 1 0 0 0])
  ("board" .
   [1 0 0 0 0])
  ("Window" .
   [2 0 0 0 0 0])
  ("new" .
   [3 0 0])
  ("double" .
   [2 0 0 0 0 0])
  ("BWDM" .
   [1 0 0 0])
  ("Java" .
   [1 0 0 0])
  ("\244\275\244\263\244\307\313\334\270\246\265\346\244\307\244\317\241\242" .
   [0 0 0 1 0 0 0 0 0])
  ("cite" .
   [7 0 0 0])
  ("BoundaryValueTablePlusTypeBV" .
   [0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0])
  ("Boundary" .
   [0 0 0 0 0 0 1 0])
  ("if\276\362\267\357\274\260\266\255\263\246\303\315\300\270\300\256\270\345" .
   [0 0 0 0 0 1 0 0 0 0 0])
  ("\244\3161" .
   [1 0])
  ("\262\276\260\372\277\364\241\242if\276\362\267\357\274\260\244\313\244\304\244\244\244\306\244\317\241\242VDMJ\244\362\315\321\244\244\244\306\304\276\300\334\303\352\275\320\244\271\244\353\244\263\244\310\244\317\275\320\315\350\244\312\244\253\244\303\244\277\241\243" .
   [0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0])
  ("boundaryValueTablePlusTypeBV" .
   [1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0])
  ("\267\277\266\255\263\246\303\315\300\270\300\256\270\345" .
   [1 0 0 0 0 0 0])
  ("FormalArguments" .
   [0 0 0 1 0 2 0 0 0 0 0 0 0 0 0])
  ("typeArguments" .
   [0 0 0 0 0 0 1 0 0 0 0 0 0])
  ("ifConditionsJoinedInCameForward" .
   [0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0])
  ("TypeBV" .
   [0 0 0 0 1 0])
  ("ExpectedOutputSyori" .
   [0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0])
  ("IfConditionsJoinedInCameForward" .
   [0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0])
  ("EvaluationResultSample" .
   [0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0])
  ("\306\376\316\317\303\315" .
   [1 0 0])
  ("if" .
   [3 0])
  ("InputData" .
   [1 0 0 0 0 0 0 0 0])
  ("InputFig" .
   [0 0 0 0 1 0 0 0])
  ("tabular" .
   [1 0 0 0 0 0 0])
  ("\244\310\244\244\244\246" .
   [1 0 0])
  ("-3" .
   [1 0])
  ("<=" .
   [1 0])
  ("<" .
   [1])
  ("getBoolean" .
   [0 0 0 1 0 0 0 0 0 0])
  ("cha" .
   [1 0 0])
  ("IfConditions" .
   [0 0 2 0 0 1 0 0 0 0 0 0])
  ("ifConditions" .
   [2 0 0 0 0 1 0 0 0 0 0 0])
  ("-2147483648" .
   [2 0 0 0 0 0 0 0 0 0 0])
  ("natMinimum" .
   [2 0 0 0 0 0 0 0 0 0])
  ("intMinimum" .
   [2 0 0 0 0 0 0 0 0 0])
  ("t" .
   [3])
  ("inputData\244\316\263\306\271\324" .
   [1 0 0 0 0 0 0 0 0 0 0 0])
  ("\300\270\300\256\244\267\244\277\306\376\316\317\303\315" .
   [1 0 0 0 0 0 0])
  ("inputData" .
   [2 0 0 0 0 0 0 0 0])
  ("boldmath" .
   [0 0 0 1 0 0 0 0])
  ("FFTF" .
   [1 0 0 0])
  ("FFTT" .
   [1 0 0 0])
  ("FFFT" .
   [3 0 0 0])
  ("FTFT" .
   [3 0 0 0])
  ("FFFF" .
   [3 0 0 0])
  ("FTFF" .
   [3 0 0 0])
  ("graphicx" .
   [0 0 0 0 1 0 0 0])
  ("usepackage" .
   [0 0 0 0 0 1 0 0 0 0])
  ("scalebox" .
   [2 0 0 0 0 0 0 0])
  ("scale=0" .
   [3 0 0 0 0 0 0])
  ("TFTT" .
   [3 0 0 0])
  ("TFFT" .
   [9 0 0 0])
  ("TTFT" .
   [7 0 0 0])
  ("EvaluationResult" .
   [0 0 0 2 0 0 2 0 0 0 0 0 0 0 0 0])
  ("evaluationResult" .
   [0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0])
  ("caption" .
   [1 0 0 0 0 0 0])
  ("DecisionTableExcel" .
   [0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0])
  ("TTTT" .
   [2 0 0 0])
  ("description" .
   [2 0 0 0 0 0 0 0 0 0 0])
  ("clearpage" .
   [0 0 0 0 2 0 0 0 0])
  ("booleanSequenceToActionSample" .
   [0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0])
  ("\264\374\302\324\275\320\316\317\303\315" .
   [1 0 0 0 0])
  ("b>0" .
   [1 0 0])
  ("boundaryValueTablePlusTypeBVPlusIfConditionBV" .
   [0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0])
  ("<String>" .
   [1 0 0 0 0 0 0 0])
  ("\244\317\241\242" .
   [4 0])
  ("VDM++" .
   [1 0 0 0 0])
  ("FormalMethods" .
   [0 0 0 0 0 0 1 0 1 0 0 0 0])
  ("makingInputValue" .
   [0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0])
  ("subsec" .
   [2 0 0 0 0 0])
  ("boundaryValueTable" .
   [0 0 0 0 0 0 3 0 2 0 0 0 0 0 0 0 0 0])
  ("Arg1vdmpp" .
   [1 0 0 0 0 0 0 0 0])
  ("vdmpp" .
   [1 0 0 0 0])
  ("ref" .
   [26 0 0])
  ("intMin-1\241\246intMax+1" .
   [0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0])
  ("\244\317\244\275\244\354\244\276\244\354\241\242" .
   [1 0 0 0 0 0])
  ("intMin-1" .
   [2 0 0 0 0 0 0 0])
  ("int" .
   [5 0 0])
  ("Undefined" .
   [10 0 0 0 0 0 0 0 0])
  ("intMin" .
   [2 0 0 0 0 0])
  ("hline" .
   [25 0 0 0 0])
  ("\266\255\263\246\303\315\245\306\245\271\245\310\245\307\241\274\245\277" .
   [1 0 0 0 0 0 0 0 0])
  ("tab" .
   [17 0 0])
  ("SampleBvTestData" .
   [1 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0])
  ("label=list" .
   [2 0 0 0 0 0 0 0 0 0])
  ("label=" .
   [1 0 0 0 0 0])
  ("l" .
   [1])
  ("lstinputlisting" .
   [0 0 0 0 1 0 0 0 0 0 0 0 0 0 0])
  ("tex" .
   [3 0 0])
  ("list/SampleSpec" .
   [1 0 0 0 0 0 0 0 0 0 0 0 0 0 0])
  ("SampleSpec" .
   [2 0 0 0 0 0 1 0 0 0])
  ("list" .
   [6 0 0 0])
  ("input" .
   [8 0 0 0 0])
  ("section" .
   [4 0 0 0 0 0 0])
  ("enumerate" .
   [1 0 0 0 0 0 0 1 0])
  ("fizzbuzz" .
   [1 0 0 0 0 0 0 0])
  ("tp" .
   [2 0])
  ("eshell" .
   [0 0 1 0 0 0])
  ("a" .
   [2])
  ("\264\330\317\242\270\246\265\346\244\316\304\264\272\272" .
   [0 0 0 0 1 0 0])
  ("current_y" .
   [2 0 0 0 0 0 0 0 0])
  ("current_x" .
   [0 0 0 0 0 1 0 0 0])
  ("down" .
   [1 0 0 0])
  ("namespace" .
   [0 0 0 0 0 2 0 0 1])
  ("Command" .
   [2 0 0 0 0 1 0])
  ("left" .
   [3 0 0 0])
  ("cmd" .
   [4 0 0])
  ("print_map" .
   [0 0 0 0 0 1 0 0 0])
  ("cout" .
   [2 0 0 0])
  ("std" .
   [3 0 0])
  ("warning" .
   [1 0 0 0 0 0 0])
  ("definitions" .
   [1 0 0 0 0 0 0 0 0 0 0])
  ("values" .
   [1 0 0 0 0 0])
  ("types" .
   [1 0 0 0 0])
  ("par" .
   [16 0 0])
  ("TypeChecker" .
   [1 0 0 0 0 0 0 0 0 0 0])
  ("typechecker" .
   [1 0 0 0 0 0 0 0 0 0 0])
  ("vdmj" .
   [3 0 0 0])
  ("|l||p" .
   [1 0 0 0 0])
  ("VDMJ" .
   [3 0 0 0])
  ("arg" .
   [5 0 0])
  ("commond" .
   [0 0 0 0 2 0 0])
  ("binary" .
   [1 0 0 0 0 0])
  ("binaries" .
   [1 0 0 0 0 0 1 0])
  ("i" .
   [3])
  ("final_root" .
   [1 0 0 0 0 1 0 0 0 0])
  ("return" .
   [0 0 0 1 0 0])
  ("a_star" .
   [0 0 1 0 0 0])
  ("m" .
   [1])
  ("in" .
   [5 0])
  ("strlen" .
   [1 0 0 0 0 0])
  ("counter" .
   [2 0 0 0 2 0 0])
  ("str" .
   [23 0 0])
  ("scanf" .
   [1 0 0 0 0])
  ("BUFSIZE" .
   [0 0 0 1 0 0 0])
  ("main" .
   [2 0 0 0])
  ("stdio" .
   [2 0 0 0 0])
  ("current_angle" .
   [0 0 1 0 0 0 0 0 0 0 0 0 0])
  ("theta" .
   [1 0 0 0 0])
  ("target_y" .
   [0 0 0 1 0 0 0 0])
  ("target_x" .
   [0 0 0 1 0 0 0 0])
  ("atan2" .
   [1 0 0 0 0])
  ("alpha" .
   [2 0 0 0 0])
  ("fabs" .
   [3 0 0 0])
  ("Tactics_FINISHED" .
   [0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0])
  ("Tactics_TEST1" .
   [2 0 0 0 0 0 0 0 0 0 0 0 0])
  ("Tactics_TEST2" .
   [1 0 0 0 0 0 0 0 0 0 0 0 0])
  ("Motor_controler" .
   [0 0 0 0 0 0 2 0 0 0 0 0 0 0 0])
  ("\307\362\271\365\244\316\263\344\271\347" .
   [1 0 0 0 0])
  ("turn" .
   [4 0 0 0])
  ("forward" .
   [2 0 0 0 0 0 0])
  ("__MOTOR_CONTROLER__" .
   [1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0])
  ("define" .
   [0 0 0 0 1 0])
  ("FINISHED" .
   [0 0 0 0 1 0 0 0])
  ("L_RIGHT_ANGLE_PARKING" .
   [0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0])
  ("L_SPECIFICATIONS_UNDETERMAINED_AREA" .
   [0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0])
  ("L_BARCODE" .
   [0 0 0 0 0 1 0 0 0])
  ("L_DUAL_BRIDGE" .
   [0 0 0 0 1 0 0 0 0 0 0 0 0])
  ("Tactics_r_" .
   [1 0 0 0 0 0 0 0 0 0])
  ("R_PARALLEL_PARKING" .
   [0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0])
  ("R_SHINKANSEN" .
   [0 0 0 0 0 0 1 0 0 0 0 0])
  ("U_TURN" .
   [0 0 1 0 0 0])
  ("STANDARD" .
   [0 0 0 1 0 0 0 0])
  ("R_FIGURE_L" .
   [0 0 0 0 1 0 0 0 0 0])
  ("new_tactics" .
   [0 0 0 1 0 0 0 0 0 0 0])
  ("tactics_current_index" .
   [1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0])
  ("tactics_name_array" .
   [0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0])
  ("\245\244\245\363\245\307\245\303\245\257\245\271\244\362\274\241\244\313\277\312\244\341\244\306" .
   [1 0 0 0 0 0 0 0 0 0 0 0])
  ("tactics_main" .
   [9 0 0 1 0 0 0 0 0 0 0 0])
  ("tactics_array" .
   [0 0 0 0 0 0 0 0 0 0 1 0 0])
  ("new_strategy" .
   [0 0 0 0 0 0 1 0 1 0 0 0])
  ("tactics_current_name" .
   [1 0 0 0 0 0 0 0 0 0 1 0 0 1 1 0 0 0 0 0])
  ("Tactics_name" .
   [1 0 0 0 0 0 0 0 0 0 0 0])
  ("current_step" .
   [1 0 1 0 3 1 0 0 0 0 0 1])
  ("Tactics_update" .
   [1 0 0 0 0 0 0 0 0 0 0 0 0 0])
  ("Strategy_switch_next_tactics" .
   [0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0])
  ("strategy" .
   [14 0 0 0 1 0 0 0])
  ("Strategy" .
   [3 0 0 0 3 0 0 0])
  ("Tactics" .
   [4 0 0 7 4 2 0])
  ("yes" .
   [1 0 0])
  ("true" .
   [1 0 0 0])
  ("cd" .
   [1 0])
  ("ev3_touch_sensor_is_pressed" .
   [0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0])
  ("GYRO" .
   [1 0 0 0])
  ("ev3_gyro_sensor_reset" .
   [0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0])
  ("TOUCH" .
   [1 0 0 0 0])
  ("ev3_button_is_pressed" .
   [0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0])
  ("int32_t" .
   [1 0 0 0 0 0 0])
  ("between_wheels" .
   [1 0 0 0 0 0 0 0 0 0 0 0 0 0])
  ("steer_motor_rotation_angle" .
   [0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 2 0 0 0 0 0 0 0 0 0])
  ("steer_motor_old_angle" .
   [3 0 0 0 0 0 0 0 1 1 0 0 0 0 1 0 0 0 1 0 3])
  ("steer_motor_current_angle" .
   [0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 2 0 0 0 0 0 0 0 0])
  ("steer_wheel_old_angle" .
   [0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0])
  ("STEER" .
   [7 0 1 0 0])
  ("ev3_motor_get_counts" .
   [1 0 0 0 1 0 0 0 0 0 0 0 0 2 0 0 0 0 1 0])
  ("steer_wheel_current_angle" .
   [0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 1 1 0 0 0 0 0 0 0 0])
  ("s" .
   [10])
  ("new_self_localization" .
   [0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0])
  ("include" .
   [0 0 0 0 0 0 1])
  ("map_fp" .
   [0 0 0 0 0 1])
  ("self_localization_display_coordinates" .
   [0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0])
  ("sl" .
   [16 0])
  ("begin" .
   [13 1 0 0 0])
  ("\345\343\254\345\244\273\345\343\260\350\261\353\354\265\312\345\242\260\351\353\262\347\216\303\251\275304\304\216\302\216\267" .
   [0 0 0 0 0 0 1 0])
  ("item" .
   [7 0 0 0])
  ("itemize" .
   [2 0 0 0 1 1 1])
  ("end" .
   [3 0 0])
  ("time_t" .
   [3 0 0 0 0 0])
  ("time" .
   [2 0 0 0])
  ("timer" .
   [10 0 0 1 0])
  ("printf" .
   [17 0 0 0 0 0])
  ("nowTime" .
   [1 0 0 1 0 0 0])
  ("equal" .
   [1 0 0 1 0])
  ("FizzBuzz" .
   [1 0 0 0 0 0 0 0])
  ("doFizzBuzz" .
   [0 0 0 0 1 0 1 0 0 0])
  ("each" .
   [3 0 1 0])
  ("print" .
   [5 0 0 0 0])
  ("Testing" .
   [1 0 0 0 0 0 0])
  ("c" .
   [12])
  ("schedule_counter" .
   [0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0])
  ("DRIVE_L" .
   [0 0 0 0 0 1 0])
  ("sprintf" .
   [1 0 0 0 0 0 0])
  ("DRIVE_R" .
   [2 0 0 0 0 0 0])
  ("counts_L" .
   [1 0 0 0 0 0 0 0])
  ("count" .
   [2 0 1 0 1])
  ("count_L" .
   [2 0 0 0 0 0 0])
  ("count_R" .
   [2 0 0 0 0 0 0])
  ("wf" .
   [3 0])
  ("direction_current" .
   [0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0])
  ("moving_vertical" .
   [0 0 0 0 0 0 0 0 0 0 1 0 0 0 0])
  ("moving_horizontal" .
   [0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0])
  ("tactics" .
   [9 0 0 0 0 0 0])
  ("ev3_color_sensor_get_color" .
   [0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0])
  ("IR" .
   [2 0])
  ("COLOR_WHITE" .
   [0 0 0 0 0 0 0 0 0 1 0])
  ("FILE" .
   [3 0 0 0])
  ("color_fp" .
   [1 0 0 0 0 1 0 1])
  ("fopen" .
   [2 0 0 0 0])
  ("case" .
   [0 0 1 0])
  ("COLOR_BROWN" .
   [0 0 0 0 0 0 0 0 0 1 0])
  ("fclose" .
   [1 0 0 0 0 0])
  ("Line_tracer_set_turn" .
   [0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0])
  ("line_tracer" .
   [1 0 0 0 0 0 0 0 0 0 0])
  ("ev3_speaker_play_tone" .
   [0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0])
  ("tslp_tsk" .
   [0 0 3 0 0 0 0 0])
  ("EV3_PORT_A" .
   [3 0 0 0 0 0 0 0 0 0])
  ("EV3_PORT_2" .
   [1 0 0 0 0 0 0 0 0 0])
  ("EV3_PORT_1" .
   [1 0 0 0 0 0 0 0 0 0])
  ("EV3_PORT_C" .
   [2 0 0 0 0 0 0 0 0 0])
  ("gyro" .
   [1 0 0 0])
  ("render" .
   [1 0 0 0 0 0])
  (":text" .
   [1 0 0 0 0])
  ("default" .
   [0 0 0 0 1 0 0])
  ("light" .
   [1 0 0 0 0])
  ("e" .
   [1])
  ("L_ALL" .
   [2 0 0 0 0])
  ("L_sua" .
   [0 0 1 0 0])
  ("public" .
   [0 0 0 1 0 0])
  ("static" .
   [0 0 0 0 0 1])
  ("InnerClass" .
   [0 0 1 3 0 0 0 0 0 0])
  ("LaTeX" .
   [2 0 0 0 0])
  ("setq" .
   [1 0 0 0])
  ("system-type" .
   [0 0 0 0 0 1 2 0 0 0 0])
  ("VDM" .
   [1 0 0])
  ("BacktrackInputReader" .
   [0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0])
  ("langle" .
   [3 0 0 0 0 0])
  ("rangle" .
   [2 0 0 0 0 0])
  ("textgreater" .
   [3 0 0 0 0 0 0 0 0 0 0])
  ("textless" .
   [4 0 0 0 0 0 0 0])
  ("colon" .
   [1 0 0 0 0])
  ("Line_tracer" .
   [0 0 0 0 0 0 0 0 0 1 0])
  ("http" .
   [4 0 0 0])
  ("slash" .
   [3 0 0 0 0])
  ("VDMTools" .
   [1 0 0 0 0 0 0 0])
  ("Manual" .
   [1 0 0 0 0 0])
  ("bibitem" .
   [6 0 0 2 1 0 0])
  ("label" .
   [7 0 0 2 0])
  ("and" .
   [2 0 0])
  ("debugger" .
   [1 0 0 0 0 0 0 0])
  ("/slash/slash" .
   [1 0 0 0 0 0 0 0 0 0 0 0])
  ("www" .
   [1 0 0])
  ("overturetool" .
   [1 0 0 0 0 0 0 0 0 0 0 0])
  ("org/slash" .
   [1 0 0 0 0 0 0 0 0])
  ("Modelling" .
   [1 0 0 0 0 0 0 0 0])
  ("comment" .
   [2 0 0 1 0 0 0])
  ("subsection*" .
   [2 0 0 0 0 0 0 0 0 0 0])
  ("subsubsection*" .
   [2 0 0 0 0 0 0 0 0 0 0 0 0 0])
  ("String" .
   [3 0 0 0 0 0])
  ("arg1" .
   [1 0 0 0])
  ("length" .
   [0 0 0 0 1 0])
  ("\273\366\301\260\276\362\267\357\244\313\302\320\261\376\244\271\244\353" .
   [0 0 0 1 0 0 0 0 0])
  ("/" .
   [1])
  ("\241\241\241\241\241\241" .
   [1 0 0])
  ("eps" .
   [1 0 0])
  ("sec" .
   [7 0 0])
  ("fig" .
   [8 0 0])
  ("kikkawatool" .
   [0 0 0 0 0 1 0 0 0 0 0])
  ("booleanSequenceToAction\244\362" .
   [0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0])
  ("booleanSequenceToAction" .
   [0 0 0 0 0 0 0 3 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0])
  ("\244\317\241\242VDM++\273\305\315\315\244\313\244\252\244\244\244\306\265\255\275\322\244\267\244\277\264\330\277\364\304\352\265\301\244\316\266\255\263\246\303\315\312\254\300\317\244\362\271\324\244\244\241\242" .
   [0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0])
  ("\245\352\245\271\245\310" .
   [1 0 0])
  ("\306\376\316\317\245\307\241\274\245\277" .
   [2 0 0 0 0])
  ("\244\317\241\242\245\352\245\271\245\310" .
   [1 0 0 0 0])
  ("\244\253\244\351\241\242" .
   [1 0 0])
  ("intMinimum-1" .
   [1 0 0 0 0 0 0 0 0 0 0 0])
  ("intMax+1" .
   [1 0 0 0 0 0 0 0])
  ("natMinimum-1" .
   [1 0 0 0 0 0 0 0 0 0 0 0])
  ("natMax+1" .
   [1 0 0 0 0 0 0 0])
  ("\244\313\241\242" .
   [1 0])
  ("Uruu" .
   [1 0 0 0])
  ("\305\254\315\321\316\343\244\313\315\321\244\244\244\353VDM++\273\305\315\315\244\362\241\242\245\352\245\271\245\310" .
   [1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0])
  ("\244\313\274\250\244\271\241\243" .
   [1 0 0 0])
  ("figure" .
   [1 0 0 0 0 0])
  ("AboutBWDM" .
   [0 0 0 0 0 2 0 0 0])
  ("\274\250\244\271\241\243" .
   [1 0 0])
  ("\273\305\315\315" .
   [3 0])
  ("kikkawa" .
   [3 0 0 0 0 0 0])
  ("programSpecification" .
   [0 0 0 0 0 0 1 0 1 0 1 0 0 0 0 0 0 0 0 0])
  ("baba" .
   [1 0 0 0])
  ("nanoTime" .
   [1 0 0 0 0 0 0 0])
  ("tobias" .
   [1 0 0 0 0 0])
  ("seminarFormalMethod" .
   [1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0])
  ("nishikawa2013" .
   [0 0 0 0 0 1 0 0 0 1 0 0 0])
  ("break" .
   [1 0 0 0 0])
  ("add-to-list" .
   [0 0 0 0 0 0 1 0 0 0 0])
  ("add-to-load-path" .
   [0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0])
  ("require" .
   [1 0 0 0 0 0 0])
  ("haskell-mode" .
   [1 0 0 0 0 0 0 0 0 0 0 0])
  ("wind" .
   [5 0 0 0])
  ("first_x" .
   [0 0 1 1 0 0 0])
  ("first_y" .
   [0 0 0 2 0 0 0])
  ("image_winds" .
   [4 0 0 0 0 0 0 0 0 0 0])
  ("set_first_coordinates" .
   [0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0])
  ("brow_wind" .
   [0 0 0 1 0 1 0 0 0])
  ("Input" .
   [2 0 0 0 0])
  ("flag_browing" .
   [0 0 0 3 3 0 0 0 0 0 0 0])
  ("keyPush?" .
   [1 0 0 0 0 0 0 0])
  ("K_ENTER" .
   [1 0 0 0 0 0 0])
  ("isWindBrowing" .
   [0 0 2 0 0 0 0 0 0 0 0 0 0])
  ("Winds" .
   [1 0 0 0 0])
  ("require_relative" .
   [0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0])
  ("print_winds_coordinates" .
   [0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0])
  ("Character_ufo" .
   [1 0 0 0 0 0 0 0 0 0 0 0 0])
  ("draw" .
   [1 0 0 0])
  ("image_bg" .
   [0 0 0 0 0 0 0 1])
  ("scene_name" .
   [0 0 0 0 0 1 0 0 0 0])
  (":timer" .
   [1 0 0 0 0 0])
  ("browing?" .
   [0 0 0 1 1 0 0 0])
  ("Sound" .
   [1 0 0 0 0])
  ("sound_wind" .
   [0 0 0 0 0 0 0 0 1 1])
  ("stop" .
   [1 0 0 0])
  ("utf-8-unix" .
   [1 0 0 0 0 0 0 0 0 0])
  ("days" .
   [8 0 0 0])
  ("isLeap_year?" .
   [0 0 0 0 0 1 0 0 0 0 0 0])
  ("month" .
   [1 0 0 0 0])
  ("JudgeLeapYear" .
   [1 0 0 0 0 1 0 0 0 0 0 0 0])
  ("year" .
   [5 0 0 0])
  ("to_i" .
   [3 0 0 0])
  ("weekdays" .
   [0 0 0 0 1 0 0 0])
  ("factorial" .
   [0 0 0 2 0 1 0 0 0])
  ("factorial2" .
   [1 0 0 0 0 0 0 0 0 0])
  ("英語翻訳" .
   [1 0 0 0])
  ("プラグイン作成" .
   [1 0 0 0 0 0 0])
  ("hogehogehogehogehogehogehogehogehogehogehoge" .
   [0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0])
  ("line_number" .
   [1 0 0 0 0 1 1 0 0 0 0])
  ("Line" .
   [1 0 0 0])
  ("tmp" .
   [4 0 0])
  ("pre_line" .
   [3 0 0 0 4 0 0 0])
  ("buf" .
   [12 0 0])
  ("n" .
   [1])
  ("top" .
   [4 0 0])
  ("next" .
   [5 0 0 2])
  ("total_of_line" .
   [0 0 1 0 0 1 0 0 0 0 0 0 0])
  ("Buffer_delete_line" .
   [0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0])
  ("Buffer_print_lines" .
   [0 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0])
  ("Sun" .
   [1 0 0])
  ("0.83" .
   [5 0 0 0])
  ("2.0" .
   [1 0 0])
  ("2.13" .
   [1 0 0 0])
  ("0.94" .
   [1 0 0 0])
  ("0.91" .
   [3 0 0 0])
  ("1.1" .
   [4 0 0])
  ("update" .
   [1 0 0 0 0 0])
  ("area_control" .
   [1 0 0 0 0 0 0 0 0 0 0 0])
  ("set_current_area_name" .
   [1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0])
  ("current_area_name" .
   [0 0 0 0 0 0 0 1 0 0 0 1 0 1 0 0 0])
  ("switch" .
   [0 0 0 1 0 0])
  ("AREA_startup" .
   [0 0 0 0 0 1 0 0 0 0 0 0])
  ("AREA_standard_run" .
   [0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0])
  ("AREA_finished" .
   [0 0 0 0 1 0 0 0 0 0 0 0 0])
  ("EV3_PORT_3" .
   [2 0 0 0 0 0 0 0 0 0])
  ("RUBY_VERSION" .
   [0 0 0 0 1 0 0 0 0 0 0 0])))