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  s= \| ] Incredible_Proof_Machine:threads=2elapsed=44.742cpu=88.552gc=8.812factor=1.987zXZִF! G(]ŗXf1-q恈NucvAݪ4 c?[ݍ#pdTMR^DoA7WwC^cbmߕX'=N*&$;]H@y0@`#4X2/ܕ3RCа6V̷?0?nEFRK*zm kq" v5,l& ]{:MBnS'o\$vDi$ۊ ' #g\e.l9ZHf ;vJk)Et~rmk3rHJ/􄺼` D#ulw;ʗxqQB PO<|^~cV?+9xn|H|uYG8#tĊΥ<)m)QN J !b eyK(4J˫ =Uw8̮fT+UrobAuNO! ؜ ,\UGvDUt~h f`n(ˡ@ROvu&5"06꜇ ILJ]@˄|5 P]BaK;J7eO$iJ((J}b0SrcYOdxaDgx;?fjm'{YAp/)iSTv $c*A13i)ͭ1=tm\_EasP߇774~sQ c,mDx{Յd?lüL&4Bֱa%o 69n͌Lu<V = Incredible_Proof_MachinePzϗ=\!`ʩ^y?tF UA$湓PmʥO)9[]~.S*NO -}kjp3%$t!4;o6I.J=pi^0+ng)q{ ၛH%O?1Uv;l/z,͵J>itU.uA0>\FAmKAu\_sז}"N)ȟߔ(uF:qb{C%Aʳƹt9Zք)DW43" q4gYZ7zXZִF! -7]ŗXiɟlAC,YflӅn] 6X, S0r+ +W!}9Nx茰{;K@+9y^k๘sY㮎|lglUuW6Bف79W(vfh:'Ϡx/sRf4at\!$@A,B&"#u8 WDMAyDD\_\mS bk8XI/tX b1& ̳,r48(jGL[|o  ˍa( "kҤ?0^ޜQsT"2.m3'Юʎz ޢhݲ q*/z0,swNCOzs68^ TsIn ~_I>|cKU4~0Ӡ݆_ V آݑsgQ͟c#Ps˚{K&IW.[&Q5m0@QQ$ej]G 녅;@c)*C|g:&HKzABhY>AigYZ7zXZִF! G]ŗXi%;Ÿhed}5ݷwn W.;J,9 3;U:Pa8̟3ޓu9JO+r@-,_40ct F4#ԩ6ogiĀNrSgUA`{hcpq΢%ƔhRm6Cc}kq(t10]&׶h2Mr>X>Şy4yud3n킄(>5, M)&B9کY1nY"I_MtK -J0ڒKFīZftwn5Bn6G'wݞI~^Nnȃ2o?A̜āPn'3ְN}6,[NE%\;߫Ilm@ 5j.KdH>ӇoHgPbuUT4Tq u%M!蘃G-꛶DQP,BQ[F+*arK,AጕZ=4hݡOv G)vwG~fu~ϙX3loa-Do [Dl Lw4$lQl|`P*`\u3\\V +o1΃Bɭ` ^s$/ː)[C1S6bhVY1>LR4Ő> 8_{̌T Vxӏ8f?fLLNGWH9@_`+|2 DA6{&s 4u(mLGIBxԪP+A*lnLot>ꈾmRb_ ^Fs-6ou{2tʢ\GǢ ?iXw TѷD>#qmUEd< Ѕ,ޭAV\G O[Q6/&bn#BJCOf Л|oQ2/5ȃҩ|z*CۯE`XV L}]Q  DdѵvU%JkpX$д?D;] i&k.)8ht{65`Lu39È4P[ ;8$swK~n|HQ<{#T웥[sDb qrhY 1vW#+ t3BxL <lpWr%oi&N#.!㫎@nlL@.]Gt"ѭR* ƛI5"%l~Xx'y+xkv,O#"-οZGz&:\#4^ ub#.P5W^KHk Y u\Lxu$ j3$)Y0-7͉S>.osO 7/σ);Q'7d4w Y'vЇ6 N mC2(AfʶT#IYR<))L|rLJﶘJ{GzGN"G蹒Xǎ !͖Ybaۅn VLîIcYkO+>vUӑM w4M`[jyѮoeN(PAoϞvuZ?s[ՓO&z1/-ZVQ'j ӄxY|An}(nkb<톗Rs̜F; j#@.XXO)#UR{ gdP@)fUoUS7\j"[7B&cP:`gPEdC&8}Yjx$E#X{=!fqBFm]X|Oٝ[stR|w<5(9<̾_N'#Zbbd9蓃rsjuOr3TC;Pp1Hqa2P!44]kͳ@ ztZVk/I˗rj;n5UAǾܙc!n߷WkTHcz,De,Yvj[M/=Hmd NzTINRO9hѬCh_sh-MBz'%7ה#r0G@Σ%3ਅJ$|ȰI[&ƺ5*P"mmP¼N,#~ j|FEV]SMĢ\ 8{ɽNm$E(C ܯtŰj?cy*#WCNTshgtwGOBQL"U?7j֯z|(>JD(鱗\[]ֺP5xTegYZ2223c14991a6dbd7b3515bfde673dd1d4094d28079d8e835726df87c7b301a8f091eddccadfabbca 384240766f364b0530b95cc787b490d4a226797f 674eb2177a7a1aeb269732aebccc9887dc51fa48