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 J \ ]]HOLCF:threads=6elapsed=13.499cpu=32.448gc=1.720factor=2.407zXZִF! ']ŗXf1-qN?dO*4 ᅉ(Xu>4X_j`pfb&H4O@FssUpڤJ)@Wek E!p(yR=rm D:8}Y)Rc٤:GϺb&FR0C,KL]k-ㆈ7bs.v|b1̨z_p7SF{֗#ﵾ81A04 IvSrۥO2Nt0 -8|49>pD$nD2SmYwe2e_)8v%4mK^j[mC34S\YmPF"%.Wa+E'Gr^M\^'wUU `?pHym~qҦDB SPiBE߅˽#pÑDoNsdKJA.}B} ~/.+h]R KeʑD(eYRylJ6RDSt!OgYZ7zXZִF! A]ŗXi%6He6z5.x"}- $F-,VZ;^sm[5Owp8֔/$^KЅDTE~?ۉJJcsV[_D]t2ܧgq,+xYU)CESV`tkYB IH-BN3+#fx*s-cZXy2juLq! B=pV1ڸ)_9p"xt.e])^{RAk!CٻqԪheim[Phhݻd7+P]/5 JWeΫlvL܅}tU >YH)ҹq!u2sP_VB;Y$6Rl͉Zg.ϰ6PΊond]lnUJ"-泉Ρ?xBU?DtUR>w깃N+v/r v y