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 q1 $$ Y/ Concurrent_Ref_Alg:threads=2elapsed=10.474cpu=19.220gc=0.448factor=1.847zXZִF! K]ŗXf1-/6vRZy-`;TS h|`f$ 1U׬Dx#8FRZk] 5ƊrBbGw5tiHu5a1IdUg'\\-Kw8'Ţc$h)qa폙b`V|@<.<{SSvJOPK&4ܫ>:aF?xג]S{;Q#> vU^g,y @J4J%NB*.>-jxqؖjƤE'#IjjAOѮWCNI{"y=Wfֶ-ZϢR-ڪ"[*U=[x֣V#36KL '^RhG_ɷYGM 15I1燐 #c6z\b`d'S1:V[%ڴ0i7}_@Թ>p<;鄹3S &x~%_3E)KA!]\3&́1@Eg|+YxAcT&GMj?v5| &)Jr3LfCi TMxEDlXc#h0gRT2v1ǝ /4E=aW6!i/JqL!] F YRgFzURekJ3Z>3"IPƒA" Vi+~ogd uOw%TSI8`*`4~ckL>d}_@&KñMz/h/w=5LǂOƞ z`zPQ~]ct&xpKCt LyDZ#$nPvVF }'<{=Rok܋H }ɲRgx!oѳVX{jB^lE=DˉpHo  9r40e6W <FBw%vyŪWMil0z04 8 }H-8MXmR I`[%T\`w5<"R(?5 Po`Bwמ'ڇ]2;6R,ӭۉ yf׽@o,,f䊌]Lyu,4o!7Aɐ{} \'0AQ DeXʶ̃OV[|F9SgھRWwSsԶB66O;"l qrS=U؟@Y^e~=sb~ƪ1! b/@c+9 Ȇro`Ki`]iɵ®+GL*Z$opex;*nGj%!0 WCfnBWoCz{ _kݑ:#gykO 0^QynLfH+4B5XtMVqꠌXORU(vCML:Րv֢ DS?CK^B>NFl%8 ĺ,tf/"ϵ%@C\b¡Kݽe뷬<ízwt\7%R &'o. 3M(5LZ%~ *ygYZ002646460a812c4d5341ad7c17d0a781d7236f33 0892a5fe5b4fab77b2315001c3015959fb3b0a7e 1193d7241a92d84c139b643854d230bc4061d46d 241a8797f0073607263462b1c07f4cdfedd60c22 24788100960d5db04ab825d4df15c8efceadacdd 3b22fddacb923fd57ddd3e8bd77375dcc413b790 423ead3bb9c7733310cc2d44a9a25d446c18d2ed 4ed51f46a4e693770e02b5a8825117fcc75a26bf 526032e1c045afa7cd8955f01fb6c34497270ba1 7c09ab90db3d50b72ff4d5e1efa12f7f5bcc4e59 7c9a26e853eb64897a16612b7c1f676061b06f0d 9034e1129e58e58161eaf78e076bace889a5bfaa aa69d3a41c0d76f0b14876b163c2de8634c4c537 e01e71c22bd07a0062de326597e2f8938a747ed1 f009922a3345bf16f84dcfcb853dce5e6ee880c59711977f48cd7397b3b03ce4fb09271962469dfd 76cc7bc16bacff3c41d173310297a26a15be33c9 1 Concurrent_Ref_Alg