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   g) t$ ]S Dynamic_Tables:threads=2elapsed=8.717cpu=16.812gc=0.368factor=1.937zXZִF! ]ŗXf1-/6vRZaK Zf 0kߵDڞӯk@=ڷ8{8 Ґ߉B8@qE@̬Ǜӛ:O%ɭ=ݖƛ?|'4B?ΛBIs Ԑ6o^'CӠNJٸ!+{6H pÍ7Cz7H4f7ʛN 2hwNdWMn[Z4թ<ߋ`|db6mb N=U\ ﰔBΏ(ѣvPs^V\Ჹ7'  FWغK|}K1>oS>'Ȑ8<{0 ۨ*{ t -P[Cfi!3gYZ7zXZִF! 3]ŗXi%6q>E]A˘r^D[SOq0^PV_ sLMcX:/(COHS*dsdX7 蒳ދ`MҠ"rY7:tߌBuEYN'IF\<}R9?4a(0sB΄ jk%a$V&VoQLf,y-n;`2YJ;I{sVݥ^i_?g;6#z tU;QmiUCe_\4zϴٻ=z(D"tQOR4dZ#oA=?'x_m FDVc}O1W?:UɨN#vHE Xq3Ss$0rB쾕` %d`c:K,s71@l06,J&"[tM{#([قr,)t$SK[(lJz%uJy0:=IIuƙ~[׽V676 3dTPFp%qvӥ;e#TNuA2t(sbLAvG֞ob g˩\X&qz! | 6`?ǎlZΡ2(+^z&MC4sK)Zn.ME;0Tҥs>]ΨCas܂ ?}tEwONXPxOADy]0rPOV Ό Iv|J[w/64JWȰ-ܰ)$v'oQXCfQdȑlU`"T'{ݮJ/#ESsa/fF ².#}*x:V]wyK,c5ghO-ngYZ07b31767fb650edd52c489868ab76fcfb131b5291e0d760b8dcc7a202ccf9e071ca177b2d6e00047 82ffab2c85e2c69d04d032ee5f468652fc7921e8 03989dc119440e078d11e8176c7844190ed072f8 dfb0c933ff8366006ca619ec2820a57d4a108a6a ) Dynamic_Tables