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 l? ,  Program-Conflict-Analysis:threads=2elapsed=46.057cpu=87.564gc=2.796factor=1.907zXZִF! W<]ŗXf1-/6vR[3 G-y?%9POHa: ~J S<'`+CUίyhTG ,X)) wƞI@3 ТnNm& $ボ|0ڰ[H6ھ=aofLMD*Z.enkF` rY"CicuΩ$??{hk\ /9bo(.א_/uS<6&Ye}kfC뵍\Qie cR{qlҴV¾a1N$/to2+;]bʈM}@xzM7_X4嚙V)Dj,7.}>@:HM=S9TʅģԦ4l:sGxOΥGț3փWb+,tec#z֐/J"-(pj2 *ndZĹVR,%<2|gYZ7zXZִF!  ]ŗXi%6˻h= +yWcvV@f&C3 Y3ثoѝQ/f䌨[Q`G ?6J&\FmPY&.Z]|r3,۾ Oơ<ͳWYh^+ z[@Lkmݾ>;'k}~N笒5=A6yDLdc-?T1d5 B+OVK /( 4Q,:jrߥWFKp[D|ߟ]G|VO}ŰTr|-N>"!əEӑ VM#$}䲲/I@.? a<*֒]nTKiz8,ZS4@޸kKsʚ mgK;b NQ'l';c}ÄCƚY0( 8=TiF@N)% G4V2OXgEN:*Hqh@gBڹ&7n162T edRhgWon8]RqWe`g¥ܘ5w8}KM%bTPzߠPĶY#4$~!6ccV7$#cV#0%dVN\@acKeṗnmWQ)λqFrݘR{ڇ+cΝ)4ƏKv*zh  PNfkMrH}%W1@,_w .M L7e,@l.+]1eO>qڣdτ|Ǫg0݄H/g{A!HA׉)\X*ro -skZ0@5/>(n 5քLj 9$?I-%U~x_ yVB7GZ:1_Zb&rFQݍ;@y.54N^ 9ڢB#qM$|,#D Yeb<⃎6ͱhS4_O/Q>0Zy*A]'+AE̠巎'hKt䓃x@>霙0geӘ'-҄$gZYسWFE-Nz@q L)cnD5+T5Nv-cI{P`v3f#q@oXL+r_z#\1mT+3gnvrGUALA44YS#mM31K!W-&ΐS>:KP;mU@fpyU 4L-+#$ Hsh)8gS٪lx &w)yZlҜav4k㵰ٯ;c-ZrI I/oB 9ju stuoIi.:7 >_}N$b;v 9"yVn)./7%j'9%m5f*~+ f+ _[KU?X+%;{DJgrƀIx79̶ul&[C$g]؄g#LFNQ@;\vhqc<,dwv+6996lF]g-\lwߊPD{}ϕ`Cqx,so@F?΀hV8.W\v *aSeɶb;H/d5wH"5r}dN, 74#9o_8MueD&Ou1|ߦ=XO`;ք6}ƞ4Y鯺K)Ry:mҴ]x _dmˋj2:${T7-+6N[DvP;0yb}Uے2u`ϚDh7_dg6ggI"԰[drBxC\LxV.j+Fc2j6'iB$cT9FQCZ!= r5pl4E=!80X3>!<1 1i]^=-MzЎ;X1G}fĝ[;}{| 0k JZYMMBîoߢƤۍCշPfū{.% ?[q%~PZPr{+H D8A_AW.R΢j0Tyv$AMDF.цM7;҄ B*~~fs`ņ\5o03i%Zߒ?Mդy2Le+b ?Qɭ L_+ZL/!<7CaVyG<%mױ))i[ji /cܙ @NQq($&^02] 5Z6tj܇֣NO'? +7Nǟ7VnLxyntqFcmah{)³8M6