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 _# 4d ! Shivers-CFA:threads=2elapsed=31.644cpu=61.124gc=2.592factor=1.937zXZִF! n]ŗXf1-/6vR[]u Eߑ>LU|BV/ID8n`ߙI/L 4nRpUm)Gzv ^H+;\Qo)c8ϠXaٽ`v)^QwKsn"*- mث[ɜeLc6^JTn/5Q* Udu}]?tǨ8=Z|.0d/8"rmOb,(k/2ȡoJ.FBZ @8BW|򽘴.TDַ3O?mDC!YBIqwXd`4O [(̊Ŧ\3d8p8y8䐰;Lأ; #y9!CIX: tDޢŌ,Q~ rǘE[+5\iaF͛@*V:'bQd j%.0:h,j .'>%+*j*jpr$;Rxr)'#:\oYSBQ[=Kς |q } teuI*GI2<CĜ(ٙdۑdy˽xk&@v޵$ujf5kl@'16pv4}h3U_7N`cy76O~;⍵`" k:ւw럿j`p#98Bg,^lgYZ7zXZִF! ࢐*]ŗXi%6KlSsiZp\? `cKBy|((ͅDrGx[3 4=@+d7  d/ᾈgldun$h waםÌ3I.7iK!!N:_a&18$ӻmt쀻W9L#h Ύ iZl.Jx<,šBg 7-!)1#y*af ܫo_X{jX71g)_B#6XB̋M@X()&c4E)hFnD3~nyN@C}Цw$E񄾿hB%.FJzM`oL:BT*{v ҄([ Y 7;3_֢}p5:Tg٭]{-`֥?Uurfa"fQR& 1BsRyPnN{ndj^ԽUe^.GMR`j"Iי.YnЛ oc?'xyF"6|>Ci%qbR53OjFKN A8/UWj-l9X0nT!._) 0,vÇLop걎 @fm}y^i (fwx? =[נgGQLK Ldg,2!y\*UKE Sf[oh{i5jj0k?o D;КiJQ&`}72jHP}!Rm*.8Jb 񖩺&s˓Axx?X5es4Ys\#p!Td)=K@eޝ&$!"R/ݓ >(!Ӵm*Qq6\Uzm0ד_ט\ ң%c>@7!r5%#z*T21OS$u, $:G]V٭ehheHDŽ;3F̓m!mef+.əVǜkh Vٻ{lx8!g`4{XQU7>a>`aX+]&IiVx_7xӢyt@AP%b5SD4DǙ[i3(63T[*zE2+@H{2<8@=uYrtSp&S=js=ԿӳOƢy4F3n#̳+!6/M5 *퍙 9' .hPenU\p  +xUn5#k 6V_47MsgG>гwZBk?/vRQ紏U)arPxBڷדqdI߽P`lkx?EhkX6 5q1:Xpb[kQ4k_kl4=h!z'F NTa tMnvt&6xD&Ե:8@PdR|߇y1R '@89"P/fO=k þ<1ƥ4S6UkPNMy,Z4RInboW#nw1|ׅ+юIP )F+#o zk2&\HC}HղߘCK 58V 3&J