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 K Lt ]/]HOLCF:threads=6elapsed=14.322cpu=40.296gc=2.164factor=2.817zXZִF! ]ŗXf1-q恈͐7ӺV w;GOy:Cir8% NVKh^̐n>VBx85GPu`P5(:j@4GsaGuf qeOJ *U)Iѵ䍞ͤe`$’'9iJ%tLs OKBT,ܘ J$p5(;*ef\/vxP_S5H›/" 7A2fwlKiNү.> ߳2s5t2^7x?xCx B~8q$"{`=jP z8N;v"l9hVM;Tɴ{Q+q)w +NmMz4`Q.E\3(ձ`oɑ{ i,W+lR9?sRMf%]f>cUawpMpb颈|lŤʼnz$"\ 5g )uƆZ}nq!y=q[#c1@a$!px]ymQY:-&3ZlsaώTBe[Ğ&CzlB)lg =]oE]7i6K IArz/MI3`[9NNjͷ#vgYZ7zXZִF! ]]ŗXiɟ>Ӈɇ9S2]͜>Zt)0%/f8j;'c;x9uކ0߮'zJJ$v|fOy֫ޝr8y=6.$bAT)y(+}x k ?kJ,hX"Y|8NlO.9B!!V$PQP_ƑZZ‰eUB֓a/Ɏ(欯lm*_ á1r^>PȂ*wNQMCIa3"vLy{q֔бwF7^%xP1Hv1DBa>~ޔt;!Ծ1h:}&{䑽G/(icɍb3WPLd˚Ph: Z>-R..g|k~;-"OPa|rK|X,UZOVO޽ 6HrgnBUm6Ȃ4n?0Jo$Mji*^Nؘ2 jF>" ms֥KAK0Օk|OX+U@AipgYZ7zXZִF! Dt]ŗXi%9,xfV G0dg%R;^e,(YR~0w= V=WYhvn+.w3v`QOӴȧ䉕'CV80T/JWEB3gn`͚1?Fk'iy^qˉ-@2D;p{vx!6C5z뫅`78z ǁ1{iϮC>؁f@D{9W/AS6hp. r4* "C AԀoR,OtY Mx^q{/o1d NDtrAa(  qU}!fֹ⃧ O^ ܍Ytc0Y<~˹N93Gb>1-lKRK _կ:""3M:h]n8Qjus!_?V/Aj2a7 "ng~(fwګm-ΣFoqhi`Sz[+ed #hyغAYԤ Swd楶>xq+sXS_ w*⋰JMIAԐl/^vS57kJ-X%GJ2WG6j؇1PB'=;3@Sb `P>T<㯮k K)K%'^n$QHQ"dщ)~o3.`Q vjIO ٢Ϻ6VvO:hzrkG'qJyŦ{mݨAfaF''3t ?]ryoyo1|&u!-"(BHr PA\^sV*egw$rCj