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  { \l / SIFPL:threads=2elapsed=54.964cpu=88.660gc=3.932factor=1.617zXZִF! )]ŗXf1-/6vR[\wAs.xz:?~ZF겲T .WN ԨeI(HT뿉ۮ{8iXkuxHuAƪ~0\Z4&d {q/$ƕ?q[.UGmNm*4έ/#ˣ@DN"E ) ^B?V2) h62&!+F6H$ut綗mG{l|ף'C]e^i= 㓄]yB;2x^ۼ֟<T*}8g 6I\ ujz3-J”UjK3g;W.)bC`@SH{a vpZ]'t؂`(U ozaow^O'8wvBXhUlx f+a]K-b65ǜ~s;df:-\Yϳtd]Oţ=uvAv ͊mL'bN~BQM9eO.5+߬S9'Uλ۞UI5eyudz;-Qq!9L]î \ײ{p  SIFPLCZx]9r|)0Ca+$w.> 2>^|sS,˛x=*N aeO<׳]H,(fE@6Q C[щ#Z方x -MO|穉c>VçJTŸD}ײ(;Sڠ4SBgYZ7zXZִF!  ]ŗXi%6a+ӆPQXe\דy5"hEq.H:_(TuZhawX^4nKktyLUe"SkWkΉWPild0C_sqM,~av:'N C4%ۅM4Fǀ=ֿ6X"z4 'm x49%%mkfʖSKAfJdEv R;t@ْ3wǿ|`F8k>kؒje; ɝgr`@cMgcL*>اY?@w烶@|0l^u[NAl3'5a+zp'ĵc>J ]@k.dW{Ƈm٪Eέ$S%0kpzF±.WZ22(c F9>8]~xTTeklYi1w--K3n \H35oy]}⤒t U{1 %W/d\я3*TVt(-vclc;LUT%%ܢ]5">,>*VJYcqlTդl*%RQBEٔїԬB"dxנE/U{Nl?Kg46 /+:@,%ݳ~{@.nBhLG%0 b /{r1&moՒ\̙>HGww@bJ'iw  çIs84 O96˯"#D$g |kGgmKđ-04-%^ig8td=6B)w'HPRP؀1:8b6B# Jy {^eCxf Ӟ{kgAB,a2\[ۓn䷮/zʁW1+֠a(]~Aii`wTš50#m?1J <#wDQLC]̀μ`* 8-@G)LCZeHӒdPu(ݝ3 B̢0uj,t#i,},KmYrW9*~rN[SEt ꄕSk9ù0FUK 2W >"&$O3A6k?e{LěƸ] . ?Bz'%0*zAN0ˑbQF,s~ėFOmpd )rU$($}Rl_~7mԘҸYy Y9&*rw׮u79!yJEώU.- hdI<$ӉFG .Iw'— ӨK w$wm>L;8S(Ltuu/hczw-͑DpW I‘hF"l©ݰ^?37!`U=Y펡xz.wDEMQ*|[j}Wew $1.zaF?A9,mA4`BZDݍwqO}U%#RvƒG[>WG|r6'7j{!^SKYG%?ݶ}GUY4S)]mwi3z>'9tK`t!ҵaRy٨׸I0Y=a-wN-ԹuGu]N8/a-yWSd5C^ rVO!<=l. ƴH$Ȥv@[sZ>·ۡucC@'ј|ĪB7*mˊv^+SǾ+݊Ĕ $ &&7v}K[Χ( -_xR+\,֠CI+2q#V-/' &K;LHjlC-2|l6祅4nC(|x ޷mIDs@N%v{{hD"ﴦ4EeWˢm=d^6x8N5Yim@mIc0Mю"ﯔFfai͑Nzz`e]W6@V6^尋N-,cVLDqlD.lT+`P O/Omc+RliސsCFL݄VI0XިiZ;[۠{-`ubT=* ƋW:{m|a5.T.9(s<=q*OxMc},Hn:)4$ku9fb: /m.F\hpzrqT~4P