SQLite format 3@ .  YYQ77Atableisabelle_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, "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  W W-<< ?]CAVA_buildchain1:threads=2elapsed=139.565cpu=267.372gc=9.384factor=1.927zXZִF! P}W]ŗXf1-/6vRZV2OHP"yZz%}<X53 q4 %>0sż2%_  33 b c^к̑LI/H8 Ag60? ߳Mo*'ฏIDd @1~T@QY1hf9 J =,4cd99Q [fcCɾw$rw75QEYx[Z\O8 {@Z OE)2R7?bu0q[`tiG!ѭt5Q@٤?|P#}ZNaқ\:9<5ÚjRx,?)Uc;4@3~{9ߣZqN,юs&Tǔ6B4L`Б\Z3hG snqYv^vF# }G,kh"ِDic?;a<stDpjЖw${8HO Kg^y'OD[ 9nSޟ|~e`Zϲҟ?'JS]}tՐEB#Q8C~q.5y9V /y e 'V$ @(|"xD7\Z'1{`Yb꿄Iah^.C/)mDSoM汤V*'_qzXfT;Q8iǟȠ*2PA$bzvBa;*"pxDM IgYZ7zXZִF! fX]ŗXi% a4 ں(sѠOC&s`#M6bxC" E[lqqoN;ήWF0s(v'56,m(eo{M̨+/)}dυ)X޵qnI'ڀw>2 Y 'l&F1ʫ!!=\ZhX y/gz]] taGm%noyKAȓǦ[qQ][!oɮR[R=.mL\P 6CHMݖq!4fakwjy--j.Ɖ !6k8Z;V¼CO>Qk3[)="4KsayS3΍jzGD%Qr%SOn6A:E, $H%&`oH a qkeAT@sheIL*GX+ {*%Q2o _|ɥbHw1m, +8ŁQ.͢v>Ip_#:{hbk 7>S`_)hɳ ^Pa~jXDn(ׂ{'FE}E8.%J}qMYAq;B~1AHRFZnu>~G7BڜΨ֪K]rԊD[J)#71A1 ]4S\l`hnWˆƽ`TnM 1 G`LlvR'g><׵srKW9y"dשR" bZZSΖ A Jj?$-)m@0LQ1%(.!/>cFb<B'V yO޷!k H Zhy7;tYFב$Q-siTo`F@T bq!~ !4P 1 4%!CіD[օ4g)#> _; .\TmKg-cEo&[$h .%+f.\VY$$-a^P3˃ǁzk!1>|;?2ܶaa0$A7'o9 %q&/G. <N'ų' u-S[ :Oh|i`A8e6XɴUEv!˟z U!,G<w [Ѫɴ6 (?r®6I_o=D{l<)/g/?FlT \d˹*ԍcZSA + ?EEFZL\v@\]@uVlh С=7kkXʀ?9xпȑO龖@mQW4@Gu<ġG/10$u k*octr,'2 >`d-!YCeauI/{ )HMBk Y8Wl|- fS>̽#~뒩^^)~p*MeVrw{IA :$yVyas{/"(҈VL߽Ea_m1яiSaх 8oty9nuM…|LU_62dǿ]6IIC+$~h-WPRyA38=xЀa^)dVz~qx H:|nC:cϫb${f]Jѝy$nјE5Iu-.a=n9=T85 "POl=gm=|X5p euQqLAyկ)86~ֱM|8lA֢)PBɕQ񅶯OkYۨm4|L~YX[8R²V%A!tLcVrRXћ2YI,|?r`Ş:])}g?3h6 EiJ߼5@H;W+ #)ޢ ];0 d09hTe{ÑMW/ndKNSA>FO73?.Z`Y,9P/ ̚y'EvJ2<⯰_FnfZȧRȵnDOl) ?18a[>/k8!&!?ģ+!n{!Z~ߧNjl"E@+]~Nkp9*ElJKn8ŻrZ Ɂ ^#4,M'Ls8OY}_Z\O sܖ1 _^ɷLdaF G^A5;ӒT ~ +ݢR "&꣆ Zya[ L[F2HQ񴶩|)ox2u,|Gs>mQS(nBG>4;M?|(Pf` I)"Kc%Mm~40k|µK W8Z4W}z6hk ѣ=:җ(WT ~-=0gPTP4POLbm!>s¾ & |1R`lP3"/ϩ,~H@RLY O 4!DZL돶00lH+yz5%ƽ`&/CtՊlfƇ)E'no"Xgf|`lse|45`0P«K6I)ˊ1%owFp3.p W[D̍YӒR{R.0UCOQlQfu7ZzWTID']XV(BC5CO8u[F#lI/3sty,_P8#85w|FRZXEr*k:Ϡ:{O(7դ.?LORQ\GhnV4rx\ E(᠗Mrsk5nTg?۬gŻV?xpڡsikmSoU8MZbK6k%D.k_@Ύɛ6cc7ʟE1z- t 2RNN/inr:P5{! 2|/hT*F2Q> R|)4PaP^t~D dcr|lQ8:ZD3'62]EB0 $XyS-dN,i#$:" ]QoԠ efsSk^J|i CJnrM.A5,<#={Y}Ў 17jV$.Η=RC,L:q4 IgYZ19a82b57d359a0bacb9ea15464e3a60b846ba369 221f6a8e9ff8b24e8db8c4685d9e2ca833a99234 3b8d398853c5a570f2110ee30cfc4b0a84024056 68f40306aa8c83265d48d89b3c79f7ab767a5c19 6ad769cd8861c75818e00d3a0da80e30b5ee986d a5b19aa2b53be202c10fbf927b66f16128ba5911 b468fce663ad515d90797fe58beecb23390dadd3 de00ddd3c53f00caa8661b36fa26e69146672290 ee7e6af94dfdf31bc30896cacb48f1bd154dbb66 feec1a27cfb7cc3f9e82c52b47f0275b4566af72728eda92c596448850baeaf541586ad0cbd7b32f 9daf9b2243525f9f5d1a1f22d380df7ef09d72de 0cc2527958cd924301fa6429f6d107b1578dbea9 9582519971d5557be05040befdb760b0ffeb95f9 1c7bda78acf17451a69513aa2dae29bbe8c96614 9626d55e0881c6123fc2c5cdc06af20f80678a8a f143e5c6c4d92ea6a692f4d7a1956781c8759e8d 9f3e35452c936a62b09b10a6a48ea7c1124b232207a60aa56adb506a7e595d50a13db3925388222c