SQLite format 3@  - llB77#tableisabelle_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, "sources" TEXT, "input_heaps" TEXT, "output_heap" TEXT, "return_code" INTEGER, PRIMARY KEY (session_name))I]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info  'dT w]CAVA_Automata:threads=2elapsed=72.227cpu=101.664gc=5.320factor=1.417zXZִF! ]ŗXf1-/6vRZxY{"QhE'IcRfZ=fi"xGW9'#owq_Iyz5ʂW SIrH>"ڿd얢a6qaI [o 1 /[ g)IOyS|aQWFC!m ' CAVA_Automata=8B 2G}^Vx0AY )h_`-H "{Qe'Vx/Ҫ#; S' 8Q;^!r !*3>rd ̇UɄdom)*BóU4Ζi"iAk[ʙؿj)6+^࡮3.b_jO,ΊJNtJZ^x+¡*![i|qt ?mQڪ)8 M9h*ė÷oRI ?L ;`X'UɸOZQ@G{:ް$q:z:FJ&C2HpXk6jB;6DKM~kN?[a[(خ tlf=9XqG%)jr{ .P H@EA'ZhH"GPܜNuh@(LJ5ZKǍ3'dWxF<\|ȗ Tr/$ǽ qa"v+OT.XgϙԺ&~6<+Q r;@lAN(q꓇"~ g1BH.W 9@f]//&"Eu1O y[&0~-^w~edA /=d~'/493B m1ЏE3\&/g̜8Wh-t8f.zQ4_$n;Frjqkl.\As`⢲OiRl W8i.z/V3 d|pX(nqFb/' HŠ~ӛl񰮋H b8[e T9~$.to66IyoɃ-SïjN1h vΖ9u"Dŝ AU/9WPJx B`Y8oy X:}iTE3[45WX49:ySFgB/5f))hwmn70`@W"=ZԒtQFf!R|3O@,|831U>~~́. SuJ;=` c.tPxAPx2.IG&8aU@a3mj}ʀ%jpKUĺ^^-$y6x83Ju3!uGepHVl푩fiLʟ%}G4;Hǖ7Is}"^)~6i@T,GKNǔx  7Av@ڄ m%hMl3zfio ~ftv|wr"Ѐ}D%K9/{dV}ӥ̫G7d-Z:@B\@[☌*WPpbRe珪r| *Tqxw|2,w;Xo$[aOP$J gJ[D4z9AY"ҬG`5Fu+vdX`3K ;WK.m4kE.7KE;=$o-FLt^ĝr؍vƋݽa. R?C_l+) ݯۈQ(:JǝtoN-a4) r^V :(KEYjqnc\_Cq+>κ Aeν9{JQHNyVw1IrBHשּl.w0-L?qR_nM1yjLfF#BZ~P zk:/"!c1k8zZ= ٲ+Ka57E*栀>"!:s4f?:c<EjJPvN3CwvK@?>M<t HDll <S%Fem&&+Ljpb2.80 n[m-}y0Y'Bؼzn;AȣhwZqP ?BMz㇅_c~Ӻo S&L$ߩڞf|d5mPdC@Y"g| A3/d|ϴ n[  a[.c # օٮ;5[A-}mw !3}`x%>u%=AIX%ą 2&wt)T|LƍOA3lzG kb]{fgX=ʰCaL?5+)Jݳd1 v st'1na1>8Ȳ%{19aGb+*Z=}(SY*5Q 3s˲Z%y71#| .APAi!xl= Jmp19|cz=r0flS`J?[\t!ѺZ^$IJ;md醙y1R^zs \nFaV]Zէ=_]=wv =)t>esxyѩ 9:̆S""i\NEQV˖ɫ+c+yKq yO%uX}w#]#4NMaj|va9wl~BKҹ$57U,lFs{"[ln1ۅ[D/G?dWcַ =2s-I ]pMpKawESb])ArبiיW&mpLV&0N/9p=O61ocf޸D8mQW]KqG]X^lzX >(!!%BVf/kl"7c9rV6r?-#an޳[ #B .}_|QVa%+9);o' w-\2! ˄I.tʼaPO@?/t;HvSTqR)r"G~)k6*y  3gYZ7zXZִF! U{ b]ŗXi%Vla(~1$TV̡,QuFp^vUte^}v+)M1Io}~NtB\QV~Џ,Dac\Fq"LM ƯX,psM懥K.eKWR(ۊ 5")1QX_% =AZYw}:5P<*K܌?3aQYOU,qf*Rϳxӯ̺BuGGz[ze*z맱HouSB&&냊ecY>( 跳*$HPH&t:[] Jzw7 BXμ _{?|Dž7`x`T0\WI);gr*E K8MB xpwgc^G4/EW䅢Na(njdwB"'azszw!%1G4xhY;1*>A8| ~ŐD|VMoeDj6^Q`jk9QPh^d>MqT 2E凭E# ;8({HgWhx^G(Fd*H+|zsEc޹@&[(hvWT¨_nO 5bIR-N12׍=)7'GAkqz)T @H?ۓA( w գ<azDwHs1*+H= @u-*)CKz9ܳq^2dZP+xrMTPi/Tk(]BaRqrAr GIUF {J P.>=$rV&S;\9h,gTmZnu畣,eu_wڮY8|QuM-{M+aej Gl"f mwLǠԮ[+.fh\QRJgѕs5zBk4bň ),u`(N-cƜmUӌ.#R^ԷG.br.6 (}d xzڭp{i! g"wD q-z0lWI'Y3G98Mݻ\/[ۂ&8o[w̽Ś(ҿz!@5GL63ƕH TLz ӔG~?H kF ӹ$