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 \+$d ! Abs_Int_ITP2012:threads=2elapsed=92.497cpu=157.956gc=4.968factor=1.717zXZִF! L]ŗXf1-q恈N|5` 6IAR}B\򍂵; ϷՙCv|s:F:)2fBU%.}2a/75!dTۂ g]-h+zKw|ߠwN F?k78l)oaCJWUۚfUǹ!Bڬ^ g~H֨|LT Hn#CcuG, ۵$}:a,ou ~Xz$^`Vg;'m%ԑMՁXp ?vOA%NaN KlZŔjEMx[Sh#h\I*B>򔢈l~Zw#DJFjTpY@ʎI8Y3D0m̛p2CwKܨR |e[EW NGqhDU22*^tzZpH`~D=,Lx=W|ĥl.B_sUk7cŝ&ָ^2X,و rG7WQ nAWgjt:?~yRQRw#IDC 0S>1vs$(}c~GU\r܌CzՍWzTlynVe<(Qt@AhCSQՓq; 0ICd&r p~J)y<.vE4T8y~ S}Ң3&J{j:UR532p ~6zGLsfGi_r}mE_+(dZ$X0XdFi:qӵȼa% tR TgYZ7zXZִF! ]ŗXi%6{AHfP7d,]S+r 9w`:K=ktő";.x(2@\%di+HuF]% <j#QsERWD0W0>ܚ!!7~~-| 逤k; /CDgн8r1jġ!k mԨɹqĨ`) ☕JA% owGVքzؘꚇʄ)͘h i`-KH+ ZowRuCyY\|֓AW˒EOq㶩N@㸐6ɭ+kAs,{Xrk5>4J+-vI: "*s~bgh~!Tev8p2h=,_ 3Mƥgi[^SIQĺ$v?;e&*kefiҟLI#7R8*\?J!WGuE }q4S=iг4ʕ;/WqUW;Sz(.aRFZ$[sG  <|狴~QH_RAn8 {ϵDHa;ul{P.qaKbaism nxu6:f_!DM9xOVeQӐZ|[#)Eye sZqSE#;3el'Jy~(w=蜊9EK:<]7@x$FU.WUdj4BjC{uaPV< Qߧ@Ί;p (H#{j>clcd_YSwK-tqz5Sk[͡@׈s@ K,*d9̔*BK_'<贳X4A$t%wɾ7>zAFPЖH!3MJ3W/jAҷVRWZDf.yV (b!SN%H'2ww)Rcw'b R`4Ȉ73&msC0RNٽU0SEu?PQ7]u C1GܘXcQMiz(󯕦܈VlAr&'A?A}񫒁*Ѡ@ + Abs_Int_ITP2012v?jk&!VjKW;j~b ;G*WA[!΅#J8'7J -k0y&qթP/ey67m@> u&u5!#}!;4ժpGOh|:|4~;j[`Wx~iiֈo;lR.yD!GwqNGW.@(Nw,>++Hqn|1"[i`hj3J:mpƲ!n˜O'ͼeZUfэb=nNV˞?W \:xVɤ5 k;mRS8`蒰wRx‚r,v885L#Op4Y"%;UT\x~>S 7N$[qI#Woc*p4!,Ha2m7<&^ |`6澻&#y(; mkZ !5(x?lk-%2WJpfͩJjc a1U{"Am hLzb u tMns:zxfFT=<L?N'mX%iE7khage Kuh*CdUQ[ bN/Jh+ S M'N+7W>1Wac>1^:q'T\4Y< ~`.GZ|jYzM<`ªA"/0 F4[gՌ8e ~5'JLԉ%!H: 8'!0 +CHU.9-w>])'X>CY_V pKty; ÛePΉ7* (׭ksc2ִ] (\%xQ[Y/iWuQ NMՕPl!Ѥ JY ĺ0凕\Bګ`?}Nߩs>Í N.mm\/CU=`]GbErScJW(NT7K@ GF q\e(b﫩ez@È4>KӖD3west';䀙.k)յ Vۊ'U&e+ 4C.SʘPb$/:8EE7ѳ¸VnL3Fh$0UPw0dQE{ߢ6KwI 6Ŀ|/>'>|Uv#K6Qj}8ݾubwNDJLk{|3>Հ lVWhInI BNtiw 8kp[z8yλ1棂=K/ ZG_wR@A{4Sb-ڣJ**$)GitO ~N1@۽m݈~н+h$]ԕž%9ޕԕf}v(nXTSVgiq\|޵eZ ˎsߤeL@5 c tu;CWY$*\^,jCㄲհߞ'ȱs #pW(DZH58~Nc,L%u4j,Ku F$.`f.1U y"L^H?/YipY6z;ALF2T8b778AorJ6ԃr3UM ȵGR`|A䬜y(fF)b\_{j2ͤ2][o}L};HJ\uZ9Nv&"x{gYZ131c9598e4d3c8713102030cb7372854cb1247a2 1c0e2e5db0ce5f4c21f9696c9c8849f5bd503d31 2294a811339c9fed7c39dc1a187253e92695985a 332124682321656e702ebd7a5d933f675dfc2c80 41de83420a499aa06eb5c86c866a6e7451324212 51eab392c3a386d8267ec19c2401af32630d590b 5916380c51ea09b3443b25eba72b0511f03bc4bd 65f6c39b1ebe4143f8fae682f68e4473477f0796 767ddb31cfaad41b01fd33806647d7d894626638 76ae4c679051eb9ef25a4d54d185dedebc4b9950 7f5f64a02881ea6855656af831a166e48b59ba84 9c9c413608c51826f0151108ce44be6228bf12fe a6a36e1052893c0fa649f3352caf33949e67be55 aee4e968522b85b6b975e4e223004139ff0fd2ce b6122e77952924b9e0da37b7aa08cd7320e1a3f6 dc94f1bda507b27a36b3acee6798203ee88796ea e041c843d120825e77104e8742c34aef50abb143 f64671eb9558715bab78b76e63eebdb15394e1c9 f885fbbcd07e5056f7a71c43b5bed2ba49e3dbb2f0df918d4045ad6c60b23213b65e87e41842eac3 e02038ad1e9503a02a8e11b7cb457877cc454f98 5e2d9fe647698eb3de122778d18dacd4a9a66146