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 dd} TL ]IOA:threads=2elapsed=18.456cpu=34.644gc=1.404factor=1.887zXZִF! z]ŗXf1-qN50^ ʕmy\5)NzPNzMr,HB1yAЕW yq+p*/NK1pp* -X^5n9 4#͂w*$;u5w*"K Wl1)WlO}"1E@zl֌?"ql5ڍ!hLbYLOn{cT[S-'s 쑭"!#o׏@ϥˣzg4ķeZ6plXx7GG*f ܖ >3m 5cI̶"_C7dIɨ^e߫EӰz>S V%6FeOޣh$NfֽP32xn-fˍ@w 5 FO?G%?EY3+$I8\Ц²kRm1ꄙ^-&fM2eGf*1-^aǏGbS81/XAQu=pLY!MApKk 5~:՞ s\"VqX =gq!x#t_iJZl!#T: 1{nU L}٠)/͞F)fT$r4uWOv>cL(&VG:pU:F3sټ˖m8:in}-fo?NT'U+À3x("C%IB |#>M5HqTI?FQy$5ݓK"şip fR8!oSƜx4[0^[Icpޢ_Pbh85G$r[`o9qœOji,ԅY.>Ղ  iњ .+|~ aGyLt>JT&4:f&+ځ搡[Kz/ED}|%ә,./WH%O cBY] ԙC{g;fw?\Lσ'I _ 4]zWP?/ e_k:mu[i_<\1ڈ O}z16C(`fUqMСdNycBc!W%{8Vc=j ÍÜf͛jTGW".0-.ՏgNV 4E祊W-Ӏ%\L=Y4ah/gA^,#SSTL*,29AUYlU1fݑ!1q-@(>~3~p\sD,kPy^' в,Q~%o^][38˧,D}OWtb*QUIhf mVb G=:^VIyv#Ba?3; uMfI|J%k?sX8w!X5fF|vNn_I8 != nu.Ľ\_I `!;{~A/!K/hiIjKLRD6P`>Qh"?~3/Hnp53r+E8Ƽs׼2 q5W@GG@9oZ>iԞLr@Zt: bJzT0HI+wX~SO*F[aSvЯ#yP-zol{uS*+!>X PQ2h34Jr#Cy@.?S]]*g@DFoZ Ryg aZvZ1W0=myL3<^tD._iO"ya1 }mH{綞38M!}fչ ۰GFܟۧ־`ct1_e0h- X"{ܽOnO &;vzk[n yMk6K֚X5a\Z]lpTɫʎ>߹d|jaE:P;IHfF/PLޱ,~x*}LLiӟe ϴbz#J w4vW0,s/AuCSbȍNtֵӞ:=) D|o/“? ҋ =O!)ZBBp_C9B~iJ80- 2&˞𧋼L"E kE+jlWcƺOhUSNOhj$/9(\pߔ79 U,AiA>PbC$ %Q(Ã!&NV_զ:6_!]Ц:(~ D6b oҸkp:kg^f:fgn 躪xuk~Ϝ.4bz DxJmI9Sl_Yn9 WV<^ 6 {{j='ȯnOI0e&oS&_..CYY+gYZ7zXZִF! W]ŗXi%H$i?kr_I) yN 1k?#ҽ^r\D>1Hm-$(;n׹-y2!HH)CrYPw%+ :w-z&]avp6b,`ʹ(fO.]3s+r@^ =΄Z q >_wà^)CAEDr_-AIsd)UoAxz]S0ɇQ%k'qDdj8, V6ҤSu{͚`MBt㣤[9޺Gl"0):.OH)TrYa5@gƆ^xFepXP^(H|d.7ׇyBzCpCZd1?v g kfm$ӲrdK|sW) {eu 6`NoM%D ӛ]BLQ柳'u5zԎ G1A.7zC (-ݧ]/EJ[#?϶ ^s⯲ߓWQ؏Fvh.OD8&b&;5_9o>ym yߘad [o/}lf1\9k3 V{dY0{޹>&OZŰ P`\^,rvҺݲH48Z /θU]CK;# s‡[L|3zoURJ|qQ+)j,x#3%b'܆^ܿ|띎jG8ζdK֗p^}?˄koQv/ו?M ]lTս^E(mH_5 m"Iqz)QU$bBR3CnB4Ee ؏PM[jfv`YBOtĢTlm8ܞo+8HS!vq1%WJ䊷tRՃȴO`B+yv!d sຮ^C2k\=/d(C{j|uElu͟-zt{Y JOîN]Hbà#8ǜ.i]D(EmT.Z†ť1_͟^Jl 'aFfaGq"o-dJ6~nKJ\k66` kgYZ20f478d72a5bcb1fbad9de015615c5c26cbf5f94 220550e733823529c859a6a258e64aa20d62a163 563ba3c0acd73ab3fbd40e39216160d0de8a8a75 7319036ec9b14b681515115059d654c3aaf9b7b7 75423031ef2f690680f016e5066f58335d37a5c8 7cc3e9930e0450f02ff1c420bede3aeb39c372d3 8bd44a73de257dfca1cdfc03ee6fbcff0eb91e24 938d0c484a80e421fb6ae5697e1098725b52e199 9b9a12329672a350731a10b6f071f7d38b0073a2 a11c3093f2f6b7ebe412ec3025bc06061bed7756 a6820028dd578f148c81ff1a1c2b3d8cb4cfc7d1 aa84ecbe31330d8b1d01a40e056125bbbcd123ca adcb01cb026b6f0c3457f2e50bf96234665031f2 aea9862702ac98e9c127ede42162c57c860bae24 c20e06befed5c804ee26a4c681e4a1fff2fa0960 dbba1085e152254111b4f937e379bb956462d610 e3b9e4172c88c8882914e3d4e240442631ad67b6 e6ff1fc226568d2b6cfc085f8139293b3291d2ad e7fe7ee11c7a9648c8119f78c218af6c13c004c9 f49102a3c25e481f4b313086bde8d4c358c3c9c7 f520112865fc85959231a187297106816b2e1bcd f981f7a958c30c1d47ac6857ae9e3f01f9a181127f2620c3106ba8cf7d1c7f769837afcff4b3cfdd 67de1e4faa6c594cac8f83698b542c3bbb933a16 938d638758d7574cadc87f2c58296f82c16554f9a84a3992ac6607bc1a299e575d43532da61697e9