SQLite format 3@ . BBh77otableisabelle_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]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info BB; \D ] Isar_Ref:threads=2elapsed=10.951cpu=17.180gc=1.144factor=1.577zXZִF! g]ŗXf1-8>l޷VO +҄RXۼfxAaJG0/5<bd!@K3ov$<˛ [pH7hnF[S2 !~Y1B'5;H71J+ptl`e& @O#;2-]F]?uR8݀qM>IӤ/ewQV[P:*9\6&CPlugOg5+qVU(S\ӤV3d ij+YL"o[}N8y>XCBF(\IgP3(rMcgYZ7zXZִF! 9:]ŗXiɟ]O5-|01 Wg9Ъ,N *yq:$FӬ[e"Rq4X/nޅ+=Pbb?2;O5"mS A0G8B1nd3jF5 oJrwBb)Ro1|aX洦"jdABpŌ{ZB9~vjDEZ Gpc n.;u DUzZa޹䥦yNkaط;'JJs޾yӨ܁0bTL-K)/{v/ԅ7YEǗJ؜&eE ^S 6V7VbF{kM[d\NNQdžn:H5@ Llh-N*[XBaVA, MJ%An5ԫ6ywNؠa{ <!QWa%wQME>@:B%4c'9~7\/ŁȆaNǭǽ(2?㐂B!]sN{C*asYs97w*^DVYW/{!)L+5!,q.5jNhk).m|?uGbn)7 g{^=Kl @n?cVNzMG? i u{](71.ariò1@M[VHe~¥6lY*O1}u֒1oVC-%$IV wS# x"u{WZ O7"N<6RldDW{7į6ZZCG "j ug8;gYZ9e10d820ad98c3d84c3e2bcdada5a6ac631d79a7f24b23d736d58b1fe016b056b4dfd4a4dd6aaa09 ccc1058afc7081b1aba3b6c9fc5c481fbc1fb4bf 419bc3b969ee6b96ed4c10ab362b8ccdb1f404dd   Isar_Ref