SQLite format 3 @ . B B h77otableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "theory_timings" BLOB, "ml_statistics" BLOB, "task_statistics" BLOB, "errors" BLOB, "sources" TEXT, "input_heaps" TEXT, "output_heap" TEXT, "return_code" INTEGER, PRIMARY KEY (session_name))I]7 indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info G G .7,d\ ] HOL-Datatype_Examples:threads=6elapsed=87.076cpu=314.560gc=27.332factor=3.617zXZ ִF ! SO] ŗXf1-q恈&!&ʁG_f @lEZ Gwa krju\ KQw!nۆ\x/zf~ͺtZNy\TSb><&t}0$kL XSYrTSѰF#__z[vz>jS&hU7M [@@a60 P7uq~G~}vײa6t:^+s 1MWP+懜|<عY{RAά*$7jQ$ |?pe]M3J] #FniM ^]ξ5I_5aTW`.IsAo1QYl_>$`4wJ*rӋr̭CWS1s[rRgu1s㟠݈̩Chl|)Y*k6V[EhcGX4L:X5m&[2a;}= g=3`w6 @s{ 2p'P]C]H12j'0_֛zy9V r +]nڳȺt g͈[93 wqג=