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 WW& tL ]]]ZF:threads=6elapsed=13.013cpu=40.812gc=2.436factor=3.147zXZִF! ]ŗXf1-) enȈA"XxBT/'`a^[raϠM4N \LJ-Y.])YܦvFIjS(Z 0{>EGrMɈ2V4:ThH I-Jˊ,m!lCНvdYT2[nj Ȋ,gcWRbճ?+w*jS$BY}B>e+J,CƗa wCp7_/rzŃdNE@B3ͱ7Ϊ_xTå+{ʆByϑ}p! ybGgYZ7zXZִF! ?]ŗXi%9,xfV( U#:WOgH0t@sD ݜXs*{%OEʹW\ΞV]D.WU T F|޺93! InUrnn$36 0ʗ.Oi?5~ Q'o'ƨBd !ڋeJ2} 3jYt:Yz&[ٸSX_#D54,?70y2G#;oC.ϼ~B/%5-%9.(˖QA?h";K|XV4 j0^V?#]ȖpǠA;F@ޯ-E(:u'tXHCkrjy=]X ^?0]:LOQM<̅5԰\ْzuc`Vx;*o޳Pa#}}JvQC̪\^eG$ lb=h<tae O ̮ <>w]»E`Ff2QmhwRV- "n)&軚k1Xnͮ-N04tqsw~ HE5kg9cyq;~_e'6z ux|a|mxa$|3:=:P{(FYiD8e(ݾt@ʊ!^:VǑ,ڂP2J 5R/U"˽mЫnG`>m3Vq }9lR'ISah'`em _K0qn@_}28SYvP=t'80G'Z<s6ׇdŲ1F)_n)$}bEىۚF,(ZFR` 6gYZd42769fea0331c6519f77c6e9876e4b0784b30ffb3385753884b26aaa722d60ff4b4d3face84cc7b2fad5064831ffcd37d09ef19447957cb60199297  ZF