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 b < ]]]ZF:threads=6elapsed=14.065cpu=43.588gc=2.460factor=3.107zXZִF! h]ŗXf1-) enȈA"XxBT/'`a^ѹ/+{̫ *;U ~sǾ'>IB?{|Roja`x W೪s~V  sϊIUdF!vsoq ʐYj"X@"'k%r)7c.& ^& nnN:4Q&)fݭdmt `^mh #S9>c|B@MN__B(BX?*/݉#PT77[8p~ɜ=DFCi lxѠGD'/-vDUOB`X^;X4-?g1F0yz&g)Ǽv (Z1[pcFC£ҴYtxocc(4Z<= U6 M0lEgξ;BljH=5&y/YUugYZ7zXZִF! ?]ŗXiɟ 1FE`u$Is#^%bg>`#4,CYOˮ4"sxk<. |Ka\1*%́>\;r]t^5#I;,P]mYV)Dqm1h v0z9"bL0˪Yp&?Zt^8qWs?ʊҰLmi}"߂"|JV H19 SᶩdcNK ])PZ\`&H+0̶؁SSuAU~Z5d*RhSŒjnFAJ-X0'SaшA&IcQZ³^mr#DG0j,}f{Pc''Le-} )_teww6 H(\5!BϬ TdG1SNzNzi,tpV+ D4#Ŗv+Kg@+`0HV\f#'[-q| 6H[foLngYZ7zXZִF! D`]ŗXi%90)XL< |uojbܨꛮg" y"@2^ "TnhjA3!CqaO 4:mY%'5跨d*&VQ:%\S% Ͼ@020k,9%Yݩrx0sB;JmV4+Hv2ele^r/78]7ag9?HC1rcvDfTmcorTGrvr+':mΟcѝWk;9Q᧓*$2gZ4A,l=BY=j3ϧ* j.bqNZa2ܘ Ϛh@&Wd˗}1X96OH]FFmnjPQGsIpV6So W@H)7*sU3ð^mdwFV##=V SF.gмszI IȁhwkbsRt롬+4jvRpsXU(frѽTFKuCoHMt~"ʺ !5!I\ʒ 2Nb8JC%?H8&ϙ*wQkd#k$~Aۓ. hH>Rz`O ֕Q~ Qz}I]C1q_3%-.vQO<<1Y,¶Ov}/9;H/X{ү(+YOnP`$ UJ!eϽnգ=;2*f uM(ˎ b !}1԰us> wj ]l]ş%aY5>H6j:.3=T-fO+n4mt_/ BrU5TSDT-gyL3:tgeUO= ={oϣE&ڼw毯_Q=P[G5at5i]Wc7Qx z}JuA jc; ×]3)$}xoMbnV{LEslՓer ұu_ Q~Ldavwz+QNwȊy)Do5 tOo]5jH$ yfJ\/Y?l"iJ-)HYqZ#RYiϧ)BPO+IgķR> q=$C]8XkW}ˋ>gݔLm͟uS]kt9졸 ;@gYZ15324b2b5b5de27f5794917847da1af565fad22662858bf7fdf2d16c6c85785e129356049e07047a51d900d950f54edd05c81b018ae2fe59a37abfbf  ZF