SQLite format 3@ . BBh77otableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "theory_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  ' T|$ ]S UpDown_Scheme:threads=2elapsed=48.426cpu=91.440gc=3.428factor=1.897zXZִF! =j!]ŗXf1-q恉<]d %S TzA=0 e"𗷫yAjR\j, @7ei(qMSЫSMȞfc mP=y421x'sMSOͣo 2 %WXpaNqP.Pjuf`xdg#+&oFn?4nY L[쐩XG,}iXs EfX bʍ)n9-z=w!ơ}pw1w'(F%|ŘQCIHPf vw0Euԇ~D;Ow5%,qQ-0 l{XW8CM-K~2i;! qx&tcp13:ߵ% XJI+wT#iC>Dm *PgW9{ĵk؈tS/VAT=F%HrJ aa)) I15m[ԥxi`3ASyGFz {n}eo;`jgI] &P j^}bo{,Qrf`m.Ww{6u?fn">K5m.|N"5wҮx- gtj!^≄玁Ӓ(Dj2̂X5@$y;!j ::!ֻMY;4'4dt (P[ŀ:;9 ┯pV9&wBh>!I|$|Kſ|D y]s8 i9=Pz\0zg DC\iە\{s% V}&3.ZE ul >O%#g;$w ]: pi>E[u*X?+zY \BMeV)tzsY+16: Ic]Rw 8a fܭ}h!.y0NFky.ړ"ct)뻦%VzJ3trL后& ' UpDown_Schemeg&>:/T8tc12S1M7䯰"p# RLJYRuHO3-?a34Lۊ6ku?:r$h7VT(POb%yEtfԁ*3G#,ܓ8` zgYZ7zXZִF! ]ŗXiɟ1J2oeTʹ̰Ko/y j[zx]dȰF7O}k!wF<`g6652̍QBW9;ʓ{)' 6Mx!*~h v)ٓ1EVf\K=GWHMz1oN-CJrJt.>6sN3ҿ7%eƪz|\m<>V2!ęObSkzF YgNkFQ97ғG=;ʼnL tN ȕqW`s*~J';:O{/;hݙ̟sHNi(-XzrC5٫Uj},K`[r3 n ,OtWhiA"3Ae)9XGV ك#XdeqWAS>.{C1X7@g63)Vc–![^Aa-S9?ekE_Ll^fJwn%Ah!j}D,{-+Ϛr ZKտEHm_YAUSK].@]/ꞑ*B7&;Dja4ԊQC׹pOߴK'た 6I޿Sԋk24C ʯZU_=6{puX!yT9W鉶-18CǾ<. 3C'm)IbDy m0S ȵ'jn↗0:H/Ɗ$,Ծd0Z߆7ϻ@KW"*1[tVȽJ GɝA?p[[~aAiS礉+U%f=%4hEYFhI2m`) g6@%_9ر;:l} 6[UW4/5F?9{ ۆ(£,s?|bwZh*塆!W>mZL䭬>:>|珼#m})>6*4V] AY գP?iK/6/7|Sg%Ob-=nkpWVL0=+rي5I%,M\ %aӴydf-.gz@pǕUj" c\s4)!h!ȋ[vPvI\o&G$7 l(T"S ^GF^bSA$w䔄nxV>=M-v{ g΍ږRfŨ ژ3&3 }!ƿبfU24Cl'c(0d˕@knjKL"w#i#tOweR@^4`vCO] (]aR+h$}Mfh%=t_`LAQսmrD`rEKzxR D?ʬl\ 0MusPbkn5a.!w_9IJe,ڷTkSgsO0\8~_G{JirUɼniQTW_[w[bnXڦpHӲɡڼeIR k V ?_5Ŕŷnj

KNIJ nEV9RBShJ:P*X\V//ՋNUu?@ӠDbT稵Stql e*ۯLog4&0 Y\MWÒ3 I(=%o>oFRq5D`FTahap־J>&-khIp Wus nwljѦyNc4.AšVou V&Ղdbo+Qk0"R|A%$ӃGEu_Zͦ+MK瑷Un$7%޾ Pz~7XztY| -.c_ ,˒+Jd|f`Ɩ˖-jk@P%ն g%'Xx5# 2S'in9rHg@ocU;|f( :V^6n'~?c l]Ofm{șRޏ:5yiMgO0f&'lJXީw$(V5u쨤 胜 ~G>txtO] C, g<: @?xWn/Hx6Ni֊i$#+zK W`v=)DyX=!%dBt9@7Ș[R[휞O4#`S7wnS ,,*XUxM,]L om⣍C/\w:_.—6hǢeP;@$#s?xdCw G9 bLxTɐgYZcc0b8b61daaa54aac1dcd37bde599c3005dec185325386da1460dc38f32089d1221024ec932a2181 06bff5eb73bee75606e14d28e9b646bebba8f569 6732d2329c2f5f6541671afa909060fb11f34da1 51e2bfc34deb55f2a5d83099a514d73ce109a380