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 b# ؽΒ$%`?D+l6 \಺pR5J^o+*kLkHzd  =9MΣ{. $w,=9Fv # Shivers-CFA{;z ݪLcMϒQ$)"PȸķOY4=d*f!u?,ᤙSE3՜@s?%L[ݘ ~ʹBӽlf6#;rhp5.nn2r2 %$!pߢ1uo>56:{@޻Gl;tDB^zKDr|s];uKH, y$YiRDx'?8ORoEܾ8 Ʈ}Sfm0 dd\:[e=b_g _Bٍ^xC@qMqXO3p nzgq/':-"2Tg"ʟ(Qc$krhOP gn|6MFwb'Cm&_GRYZv<횅#6 u f`Q_5}^ɯm DfyJlHhXUҭ~ev!ns{dvёE~le?%H.He͗絛OvF`wY#L2(CA: knIč?+`WV|>z坪TOɾ=LB' >Ɣ{60+xjT  v M/,"@t{-x7^YRjm2"|ЮU 6" #Eа[AyyLьtʄ'^f^-FbAi 1·\x _{/^3Kv,B-eKE!VX 3cQ ]LFcbKH _(a3bY7c eSXk]NXޗhiR=Hh## <wi=/̜>q i @kJ9.Z|}m;O) Dž5&k_Vfµ^:[Pw+bTDM10`!YMY>2ѝ_ʓ_k{=NQiԙ1m%J%bwL#ZvOCbi|egl~=:(WSo\[T tDAT1[jp7v|ͱ(v9 HLL hmI 9 /Dd%RI(7Z+i'@Q|ɷ !:9ڣQ@<`!pF9.?'яRȖw:!LHM9@"%KFg_d-NJi5HQ.i/q)1cђx]W$o|ר"LleafO./k?`$,3!'$#H?C͚|yd #g'+Vay@ǻankU2zޛT\}6aa  &k_~wW~c#ccā:eAJ&kyTeKsIk2R"*;R'G0TX%+ҷ%N , Q c7PĔ/3 $mH.o!B)[~6 nt~ eH"o Nqqf+ >vf :{qd0G͙ Br)P ) Mtɣ`_hWW;[*_׻4WGgKS hډ,ʘ 3ax> k#_,wt$dU=a:hׂ>c6 qx&q~:(4*7.L;7=LQRWlx;뫸IEpE!knewt^ iھbC!o0(n:ߒ:g"\DsM3fO-\XkuF]O{azcV_iuՍv󵵚|YGer+ОXYgU0c6o%U5_wU~@d0G"Dh>ZnL~ߝnA8U"";̀Cff% DW?g'ZMC7߶tosh#NiٝMW$,S*:Oem1Z9Huǧ>KwUK7H QDEXbe?6e5]cL{:[5w5AMݪ_vFb6-;=UP٭,q,Rx. C̸‰ڮhKr$3 WDBmz`EY9ٜw)c WݥRauĈxmj*Gw~4VX8j2qmNv^OKU\)SnUj|v" ?6f ]Xhhf-7mj%֫& 7E!f gKO߬{1!±qY:N" udh3R>%o6ЋF2;2+ɲ<]BiE8XdkYx!;SsBN4QBt!JBB T1MYq)G/Sytʣ'?hCNNnwge8$Y3seF 3MhoII;$)dNr;Ӝ}=ddO `EU;y"~@vqӁc#.Nl] KBXRgӄ?䦑j,frC:c9Z41ťi{G( P:4(cӖAgYZ06db41cd99a3feea3979dafd87e52d604ebe18e5 0e4f21cb9dab06da2eec0dac39dcbf8b7b648c02 1c4df5aff18b2556fa0a3f0cb15d6338fce3f6d5 210bd273e5e5c33f51f3d057f08522329d662ca2 36270720b232579f69ba6b87b64f61d55e603d2f 3997ad1247c599ff5ca5a09326a165d755ba9b8b 430cec80e0babed6f48f771cdfd56da08af74fef 5011eb2bbbf39d20db72ccd4149c5e349fb2d4a2 654534196c6693475ca0aba17654bc3d23d1343f 69b4d87e9cab0b856337e17afce32c08395ac7ff 6c6607ca20170066c10b856fd51d872958ffc1f3 6dde1a768ed51ee660f9d0c973065d218ae25be6 88424c39b97747ec7e684c036cdb82f15a469a7b 8d8c4d42a52b4e573a4a7dee9ad789b0d43b6272 c374aab54040bfc0f8a911750c670fc1123623b9 c391270aa9fb0f87bfee7786321d9160f0dd60a7 d81aa5cb392558e0b8c86c49c19b93cd6b737fb6 def6af8aaec3b55a7c501f2c82d3fa9a2204a46f f9e361b0d7f6ab3fdf32e148e315ac6de04b8a2f8c20d9719dd3c794171052bf139f7df3bda5efd9 787d9064b94856bcceaf7fba7c00dfdb93321f07 27b41bf5d5497b9bc7bef8cbe27b48de877fbfe9