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 n3 D ]% Residuated_Lattices:threads=2elapsed=29.374cpu=51.996gc=1.616factor=1.777zXZִF! / ]ŗXf1-/6vR[Oxtۻ<8(O-H7;6E(|5g^Y6H4i:޹Bȕ/!ee"%LgeZtEy~3͠D!OW?O'4ԃUCjby;VpfҖ| ˚-.@PH˘mHUAG4 `:. W,W/ dBI[ /<(2фp9nZ<(tN<H|=zcZzy{gfXnekMjЬsn E",{/yOsq60"-iƻ]RqZ.Й=yb-QѶ[pKn:,M$gh]$#<;uCf|weWcP= bpqC$U܃ْAn^b, -1-QQ^Vz,|PsAYvlˆ_}nϾn8sjqth"_%L - _XeZ2DhD| Pg_2ƀ;xv4"Bz yzlrI;3 bfl }9);-yVgS*Ua&rHv%<;"A V=a5>Ċ vj%yZ~܆0!/Ta8\+Vۄr6r/_ }>]F+ ?S)U?B(ڔ9%1*iR3^͢ '*zgu-UF}\@̂2p&b>ώ*/r_oHrqW  !m`َئb tמpH, \^/c:f~y18L$lT?̀cv*K%4>A[^o*B¡B"+ԝϙ`Z+&UtW +:w%RJyd3d=XaY! 6Ӟg-tS=tšF;kOo{Y뫝wip q@T*pGKt7&JN+ti"P'yg{kl| єO7v^,U,5z (7#;6_9"0 :Z(ňpi HڔLVT >5D "لBgGh ;jKRKZ4.:t.{Љ Nw Y9CSfKZ:IJَ<$ktc#3)~a~,'p;Vօ[W(X( •joPT }3`=Fc`i7`"ƃ4NTb{򱚓a?b#j^gk5O ^z¡=hd8jh+,9]r$P-p S̯oQ"8%X}t I,"oI~cͶαw#_l:wwQdL@ӓ