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  &-dL ]% AutoFocus-Stream:threads=2elapsed=56.707cpu=100.852gc=2.192factor=1.787zXZִF! KOk]ŗXf1-/6vRZ]](5øF<Ꜣ\Tp+LS)hVŽ&8TIJ %miIc;Ny8= f֊JZ({paܳXABGkbQba<츈27tn+ףT4BN]sb@D&%W):|$M)f#Lv63[]۹ZO,KaY>Ɲ.e?'BO[Y8Cx6epyT6t]0rd#? onRIxt۬D<ץ+a 7\l 8*!4.nJ My*1y:ԧLq.^"̡bj55,tdJuAkmӛ"X:\+VFf*3LQ9,kzVa)ԝ3m:5i"=p>݋oA *$<%|{W#пvѝ|Ȝd@d_e . es R /_ȹn ^G<Gq\H{f<$mQ jV2H$>zd{D@DY:˔)ʂu h䮑loU-i7}QCi@-HMfPWz71[ivm.հh* gz>V#AA%No]E!IFo{Y \1\BWb$^݌ _~CH9i[ƥ_eD@Ö% ^ [-YUSj UD [y2ݤS0YvƯJX\fG"I@2N7_zL)K9@w]UL$ШB` '' - AutoFocus-StreamB?Ntօ#5g Pf8@`@ՁO&-{"ȶDb';zkfͮ8<|4uUб 95%d.0z\1xY,r鏘i6W|=V}Q6 HPbEL"zxPCá0\l+!X1(B ao\CkUϏUԯ/. ܡ82sRJ+ 8Gvӣ,ggYZ7zXZִF!  ]ŗXi%9#o޺{O f ş Pm55/r(xS":U[XYf/VG4xde_l'ƙZ{k]Qw?XV6C/»Eזy!F~ Ta}*|,m餏XvxtM|3TT,acgϰ!ic>mݻ'Q 龁I6rf'P58:nt3@d+.0<8I:z15قQ.S>Nj2L@M'5JP+=#$22(gB 0by97Kx?N6-NđN)=T58) Gt un:т FR0^mfl7NQWd[CE2H,$b6Q*|CcqkƤ<q<9#v}Ϋ'}Ig7X^)|los>٧9&kܪ=i0;!% 8o \sZfzCl ˼}vO &lI S,$7Rru'%ff3d3Uo&mDgn*$g( ˄$t>gl漥u v)=HߔÛ4Q@Jj{CUdQ)z:3AKIfC)5SGB K/һ1tۼЖ tl4Lk9c٘ls]B=B];da+\mT̆ XHޛHN(;vް< {)Pcg``,aO%]S-L$,Ѱ*KIN`O);GPsV{b 7ON0j. .Zv2Yժ`۾к'1 Jh\ ҒbNĴa;\KVTx|$SG&O[Sys8qrdp&E4ib0RcbC3>jW 3'+ f*@JԯKjgiL ehx[~Cڍ0ۑZt;o}4̍G9LnyŠ02d$--q Q%\pM5?nA?@lWb~6x;믟y+>`3aQ5;bO<A`^ӄ[/b\bm~=B ~:yKX(QQuKE+ H9',`76Iӎ,?^U\(B$SƉN H?'K1{q,&1S`:~iLN܃g:^m ]!cjkr/ 8՝7,a +`R6M?Sm>F|qp tDo?ТtHdռ' Yo&@OI}7Yaa@r?yK2Ӑ% ϏAVؕ ]_TH̩e (D7SKOZ|7κW>N Qf˅?2^~_Ќ2@w Or؎ի{ybyX{6+@L3J*72VF~*BT/ߵ%KB`fQ_Eer9oJ߂,_3aBWbnKf_;/(|ԙ0qsLݜ}wH-M'Bq3ʄǰCU[mQU`}D~~=LcЦ>0 +̂$x^7ufWӈH=jHQU\7tlyY,Մ>J{:d ҈)eL$zRL*JfͯyqXHW-b՟ r%Q*A$[k[(.sF. hi9'uJ7DO1nWi1;X- И56ZfƆX-K<)p.+\ҭ`G?ܜ= jO.!Wn'RdXMRXf"طLx? FCȰʬtҹkq >x,|>z-/ݚٖU`A)V.JF <ѽuYAļSOZ}jm?؅w֏:l;7Y%{o0o.u6b< b B4Ixh+ekL:zkl!<+iNoHE+or-(|W14ּEe_Ge9ևq|ERy6{81;ijj01nEeVDZ9&ܶ:=|$_᫉WEA2T ~uk w2F#~EXa M?X ς?'/lh Jڱ?IoZG(hE5s>t2s)#iyR  ,8Byeސz4pC}"A ]O Tʠ{pȎDy')_wbHتr/)z 5|dV\rAgg 2z ceon͠a-x{D/X^s~RJ LrUфЈ;k3H:a#K IZ,x@ɚ_s%5~+qV]:HAg#n /dJ!@7/kF;t6>bHt..&^uhTngYZ34eed423ece4bb08d8f3b3b3410e6c731a0f85b68ae0489170ffa4e9aeecb054da5126bd23bcab2b a42132ca83816d0082ab6b716aea896bf4d99d0a 9dcd22a721fb4d6cb69fff249fad38e4e65ea05c b0dcf4849d0f91b64ca0f11b1ff0d715ec2f4efa fe14b5dde98160931af614f4ca21e7b63ae1ee2d