SQLite format 3@ - llB77#tableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "ml_statistics" BLOB, "task_statistics" 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   M1 D$ s/ JiveDataStoreModel:threads=2elapsed=13.447cpu=23.768gc=1.272factor=1.777zXZִF! A]ŗXf1-/6vRZQs!L/5RLIJϾ[i{$!;R~f{z/mYᒄ0(\ uFaUnT *+ZH8$,<+_rVWYz]l&˚I6PYfVw0sn`Zqg;ۛKDDR6vڶVÅ7"}8!!\b8GJ4'uGN>H~r_X>0RU] Q}~PK::K 1 JiveDataStoreModelc1VW -:WҨKhnfzW>|yUCT թ#3 T h|*A˪Rc kI)'fBjuU<^"lVe[UdۡLJ z!\mlHP`b'L=< tq4ە?,h~L{pXmL G>~I-xN[ @ R9Suv%/z|UC7!S0>F,1Ф~Ud/zC?ɳt!4 n߂]vlCl[O_f:aLLhOĴ>?b7:`qFZ=%Dʆ Qwr`=FafU7f}0BjUHao7$u#Ka.x:@-IKԃല5Ed8Iاo8vS7+a+Fgo~>dݢ>+ M6p%+hHUyiYVTMbH,=E6ܛ]{"7>Z^(}+,e4ˣ]\#UYӦ=Iy`b}X?Ii\* y$`v}7|*F};\NK i>ۯy@ozdޮk`h_s)qhF0@x=GzEbú6Pխ-ga4O;w2Z2Ak|k(dYk݂n0GZ- Gq5;)tJHJ̩0N'[NF yHbVaPܺw]R3|NDA N^Q}s}:ӫt5&@cl«TY'D|~ԯPR)3d|$G q DžgYZ7zXZִF! K]ŗXi%=p6@yȦ,~S`; KVn lơ)kTRqM FUdYNvE1#г 6:2_1q@.&F2Fr]z?d= 2VM3qU-N#TTP?vcꋸlX/c6y L~obkWAύ.x/&Z$C Le=L<=XzݖʖQ+;WweE1d%AòL*)\FEQ=fѨq؛atSzt rVb@:~SQx8E<њ>~ O9Ymț,=4\99D8OLJmP7\(yQjĢϦ< ytfҩ*࿥¦z)MxCYONWf˙C6qHr./_#uua BU?埐o^vrde%|ZaJc;'T`9Yg0褾y~X^)Dp9a"854@_Fw