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 W5\l '% Collections_Examples:threads=2elapsed=103.464cpu=187.628gc=6.580factor=1.817zXZִF! W']ŗXf1-/6vRZyغgЕgQ+m$Q#3dY8lMcK,cOXbyɭf%8q~q(z x[^>ҧM:h%\.ln 0c0-Ka^^tYDZw'M7!MR4`A4A473|\N&B/>N|%"J9=Z*TF;,_ !sT۳9G?`\7NS zRu}bi"&Ej:m ."⽶ISQӂ:4D竐L˗ׇ'M`~`K'n#l}$e[jmJYcGH?!`0 =a#<. d_VC1]eС[W7=M`NVev yM-)%XgyB LB&\P)WAaen lYUPtLnRQ 𛛢f78 ".ޅja7eXgsdI`.ߒ6ou3> B6s( qڲvmeK8 n{bro3&᳃RJ,.FrS#ڡGF ~NVzhc̾I}㿂eY=~J`JK)4]+8Z_>qZ']U~ڸX pR_^e㍢ DֱCdE؊WPȜ 8rr/+vG{o#Zq2; KTtV $D:EVl%ʉ*>gJ>j+n3,ň_Sl2"Mr|!&$rGI?Y=9rPi>q BjPFo+Eql\Z,yl%=M4݌uOΔp|ú>Ot%Xh͹;Z+N p(S!r/` 6ACw,>sq4x`9$&FHV=ؕ9e^f<VrSi#vg"0"c̠6c;0Ü1~yHRŭw[g8Kf[c}ʍylAPn8P!V5Ua$ Z"}pxʛ|Re9W|QԤMDP CMV'f){¯7 bgYZ7zXZִF! d]ŗXi%6  }5ѹޚqq^Q{rE(`ay>(¬q?pU&,^#k=ωoji_䅛x6<&W?t@ ygQNqHΟRj[?3]nv0E'i Rnѱqʘ_$R곲K^-0lf%~Br~b%s-bʩѴϛ ۵WXF%.^B0BHdBDI}ƌٚ-˳KhH`Bb!,e~~ap)^4I-IP$B:?EEUƍNL) P!4]R1Cx揍;| d $bnZEkq&@MA 6ץ]M]PsDUe2ÝޜOjz BBIk\>${oMRzh}μNje "Dn0S/KG20] 9S;W!R#=1Y]dx1 S9vUfYOMnn.r@Řܬޖy^VYF}cVu Gi.BJmnJSE"dpiI YY\Ib6@QX|Ea DX"]"hwȋWp9D:L]s 2ٸ8iA?ԈTGTnR7΅D;crzwӳfSW'Nu>BG؋3 ~'m+kRUeު PfBAA嶷xU0 gKAPk?Dz}8^Cb=8[NzSޡ[D|aM XQv@5A5KM1WACֈմ~={5svE'rʨC8$d'A-lz~K⯸ (5BD3H`7)rUU0tLaGCy/_|>mnJky%7wJ9u<c׆V{*R 8&'[E wSC-[ߏl Sc C/tm;hS_(`J0?rQMIڔ R'2bh[H,ّN`ݷGa2mk]FNZڻ6SszpMG k%7+HYKAﯞI/DWzn {HQ.CP y7N 9}XWk"7^N몳LbpTsbCoCg#ܻ Ԗm/2ga"n8vQc]$Wd6>El&/~7X Lah?5;TMk`f7\jyv+E[Yݑ/?e3 aTyѐ9b\u#5b…YGݢ 7N{EDc>J ЉRsG+6թey!뼒z%QyyU~b#˯f'øU-gwZeJA,˓%'J8frjAFU4QK>6C@yV_`6sCxT6#o<(VB5W ՟ l*pWȗ;1|j6eiTk~(p*|:pr pbbgcJ\G.!x<I܊d}lKg1R%?ZnlXww#jn-Ax1p/7rQv,ҼT~wQ%:uI'na$PO]r`15W.gLo[p8/dK'E wP٭sL(iC[8}ns_ 3G N4z2G?_Bي ьQ"*!#5zCA{h4"eKgˬXa 9x"Tɼ'#N.VE_AD3Ǧw?+kX~w8^nZ| eBK cσ!nuqioF ⦸U~1Tpe\k>{d|km !/D!C c>w9iFN ʼ-nC^2_حu}72}V`EVv0Re^1z?sgwz{X7bSzxFq4U5SqsH]d:߁U Wl;gfatĚEggBPoVwt:}6 JUR祒qJJMf ]7lT?Qc";J|vJ?$z6TߧSj9.iF+jGm0@]N}@C@qLTk[Źb.9vAAuRG%z9Y(U‰㭆uO~߯L 35<H*d |ugͱOOt[ߧ]Ҏ^2xiHݮ.C=j֞Qu=OQnK\ٷ 6ǚD@HԅCI-%lL , ,bi _8h ;"7\0f'n)#;Vܞk}-&".=Їh 2eR"Ԭ~J7AǼFh;$ÁDÌ:XKMuK}1\qWZcA#F¶f(d(JpUIo"t-{yCH ܬ0]3Q5?0W?=d3G"G?uhGV}Dic!-~EJ1iQ1a)%LLݽ.jƜ*ѱ(~>(Y,zO<Қݛ{*X,j.he0F P`I~>>ls  P0Q=oT1;7g8Cѥ!mbꞨbxV1$H?luHx5&ޘpG\N:|DhK;b>tͳvSJDn'ubbݙa3ďfm:\s+ʁZBdkH}*ӕ.N- ǖ6;iCq[(6FRǦbƷe-](jL$Qy$Pe9h-?){9ڇrWHks呠{0޶گsE%}hrK+g1 ~5j!