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  <4 ]S HOL-UNITY:threads=6elapsed=18.647cpu=86.224gc=4.244factor=4.627zXZִF! .)X]ŗXf1-q恈r|u2_QM' 8əj*؀g?ǔ;FSC9Tc30I: Y^VZ$ pPQ]f~;v}ݎhmŻj'䰇N4H!і A, =br[m"#ylH:ozu,]m{A[&P!h$ŠMߚn߉ B:")60i%hWT\W+AR3tRj{cFԾ/!Jx> @.hb`}GKxi~;Y:5bNye 8s~~qXf^>r{/LY   HOL-UNITYoĚ}t*b%3ϊj-jT2JْM1&F7E |/ ^&Jߢ%{32L3EfoXROB7kL/h$bD<,0"Ms,82r%Ef})$pLg4@fDw2Ĭ"mtYoӰf5dl]e4P_V*q_Ab ?XP"j5Z0 1,uת-AD!C R Րx/$iݗqj6ATŀ-֦˒I?*NE $BvQv޺CEF3Vp73.@A3qM64|%?LP AE 5+"WHc}:DE5a)j{y뛐oX- ۵-8+*iW͑ &W3bo+̊B|OH;r`/s#& re0+ߵ7t/_ RnqOoK7I #`ej4{9pʸz5W7qB;m{Uq*p :#'ǃS 4U%W1m)}Uߙ#irF<ussC%۟YLH+ гg 1ȽȀ?G(V>`8uv<8N-N! RG:ZCZ35A~1 \ƹ@gYZ7zXZִF! ;]ŗXiɟ1'xuaa쨔?i-P lH0:BsME$`'.B፷ _ K?߾nuAN)-CA O4i7,XjPUۆvRWS! <'vP{ˮ~亇 i}"s2D܏d"9%X \_|G2>P=(2]icw׉RzIm4ctp-pBѱ[RSwwZ3}7-EY&>yj0ޜ hg~."JF;f?+*TS9e2];(.X33LGkZW,\'ʛv:׿Vԗ}zAO-Ct{D(%/|=JPՂew-$1GmQf4jma]"\KAbPZ꬈uT ]64!}6d.h{"}e]|+x")GD[KxяArjK.6{LT̾oΈ]!cRbp15fe.%[\-8ttDŽTW vBK35-@ђgW0p"a%}mM۩&|Ȋ>N1Yz N*Ka~)sZKBJ]fs9<|4X5QsT~8mU=j >ߗvAľ_9a`x*5!ʌvY`icQvNMu#MQrb>4[Eq(Cc2~eӶ-"ۉ( 9}IAP'h2D0`X %kgts_t(^/4:UZL.3 ӸKô3P(o|jPX&&6Bg;Xjy-QU2|D "GKG nNeT8ƙ.t&, b ~ ? 1g֫.hM2xfYז/8|LCmG[ "-2'_+5y†?=Ig*n/;t@K? N=Fv!\*w0*]4*e]h|u'xm$8H Uᧅל</ΪMg