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 ), o Twelvefold_Way:threads=2elapsed=110.047cpu=153.232gc=3.540factor=1.397zXZִF! 7yM]ŗXf1-/6vRZy_Ĭmu uS@!bDO,V*TVEmsDvJ_ubP ?m=%3E0SM43w>I?+N^vJ]xXc2T^pzG{^Eܑs.qqa/a.2N+'맙#kD'B.V!%[0]DʃlB6>Bc5֫\l4)`|2{`0k5")j@t}0 I,>S7 ٷ {ZmK?Q\$6P喚K˝2 ŒE#~;hQ?f} ) Twelvefold_Waymabۋr^Tпk P/_Eѧ3))SO/6#1&Gudȴ>ag og,t\(7*ضu!uBc[n3II39g4o߽Dj%Zw;՛7ߗ-A},`1hwYJ]Ir7iRz-D90 nߖ<gYZ7zXZִF! ]ŗXi%KYm[QǨkr$Md%̰2Ď@fXpn h~c031k˄>j)Bk@%ps!0bu 嶡*MDG?6_xe$ X! y"G7ѿ~1[XSWTXʚiJ`#}C4^Tg`\ÕeB ǃϒ o_ 9 Βq˗ !#Sd1oFG!@Rc9~& e*Ie1h ,xoԂyp(j!uQݯEVqRC/e<|]|'cTw]"'5kk&*V/Gm/0G96V)F ԛ1N`1^AN'{uB7,˲Ôl "s[AtEE'3a4Ц]A@d4#QL <9t.y  O1p7C0Lp"!wq:eNkCx$B5.+`J W7rk9Y{Rfw> :Kϕx(ݧ+uK7GY5FmvB{p4iqQO^ʢCvδpd/xڿTWvJDFq4baz/8) {1pPb|hzPBծE$5ZT=hA<azEw"pd4] :ϬMؔr'jj֌t"jťtg4bwetxه3;y&d\):x;4Z e]Pm2xyJ!<1F^ފ%+fcysg)vw>cV>ɸW&cQe xGFUx)p=47I=Nzbi''Bp[#.&`Rb1[TÐt(?6ōd!0"6lCXfiG h_˿:jA\%넥pBV+#WEchTZHv*H8Otns۞>?[l^OɴT <V0O6mL*ߋnIf>^Kw)<2/"N"O[ܽ4.o0DL +nC&S_>E?)J6ڻ;2w.~C/v|g){ct~Ohzũ'gܛjWci ﷊` q@XGmoNvjZJ^梱TQF~^ ,j}.߇~V%B-&^6 NhccfKLc5>xڥms[#g:> .W1shpH0Pq3M_JTaY 8W6,e l$4*Y puBWqթqZKUvAt<:5u1wa>{/'M΀ÊoШҥ~ ?p7baɽ x\x/(|PW3c <\Isf>({pﮰx@D5>.A6k6bltAGNYGQ!WHYocjҌ liP, H2ӥP?rs= }d_ B/ck6 |T\9.bR 氨xs{I(:mgzsY=DAIA{غ`r4 o@oSZugAlr}x$^Nbj!BLI-ucyd*h+uxtDĠIU!N0gubfA@h4+P -%$-jd;.=}tL ~hctĐ<#֔>N!1L֮Ll*4O'7NZf_p* F\v)vEJ}'RFOSҮ^C=xkD)'UTYZFbgf_ӅcPZȼ$Os{ē&`ijSMfe3İM7|c_xuBNq+: ЎN1L;$$iv2KHIIu9894WG DHRv2;BmeW{!5ۏKKz{ҫ?U=܀>} =)2C:A]X:BW> $[G!=@.0@/mYjئTfSp5jĽ:PMqgƱhb(vS/"CZ(";jafzy.o)l~XUh!ڸt^M3 aO.  \4(CtEfFk;g"LIpGEOİl\EI? qwJmLa-s|y7 [R$>8u%o"%6*?h\T=N"&fm^,.iH@À3%k8 lo('5 D ג$zD{̳6D>?A0] },N\E,^C|@5Q d :ʘ]1s4c9Le]j.v>_"i "hI_VvȻvl;N :Ьl ,DDNZD;Y-R0~DasMK{_JKv#ώ0z=4@ZȀs&TzX*!pOAo}j?/AaN$Gjicj؁Zٯ`mq9fཫ 1FN7o6y枺~Y8uit)ʊxrQ{Z*(=jEv +L6w+,6- e!*HJP]/{ SUڈCMt*yfgelLr :d~ҽ|5ɾ-*AV+s[8Xu'"qXcpRЎAe?2PGȅXXsqFqvdz΀ =Wm5'!Y%)ި>3Y ӒuxU)$; Bg5СJBmzrA|LBŰjByJ:'wԓU5U3C=< `/Yї4}Q6j:Á)I?Wog!BAU*S҄mGF ʌ ŤÆJJ8Qu>Hg#n_#F^AI- O(9DxOۊ#|9Ъp)\*ޒY6)OJ5q_XQ*?΍m&15{!zn6e׌ӟCZ~A_&m8q1o7m^J[t_wο)^5LsQ,]ϵ6A%(QY!)(qL_ [cKb KEՑp/i?G$hO ,~Xwh~ B,פה>vg8xN5N9õmxI{$k^(R+E/^5ømM{BwZaSH| W+R}Z6>0L oPJm^}¿#W^*1$_ (r~D!*ȃ>v V9AIA:`S:``%sǸ{-7]D^i95l;nn[l /ElˤX$-*#'źpǢiyW5|4Fr3J|ߗ-8յ@ڂX(xSJ>r %.ĀF eL<N%q_G5M3[Gc^V!oF:·(:? d.ZGrb\-Xvɺ6CAxK4rGJfb;*ėD2آ|DK;qFC¯Vg Q ӄ82hH6Ǖp~Oޏ-ZbpBU#%eı5m'#w2Czni]P+..T{Rik@@cf G