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 M+ l ]/ GraphMarkingIBP:threads=2elapsed=20.842cpu=37.460gc=0.772factor=1.807zXZִF! t]ŗXf1-/6vRZ"P*nI16iT"'?Rz"=.ۺ .!j[Q9Vf GH FP`TDg LtAQ|U)½"Eǎ2[o^vSLĊ-y[A~4zg.#qYke+[!yfaJm]@s>rfb@O \!6NV6M4Ƃ2F+? =1aD>iL uX2[+%ΣGUg%;EZupm? 9D_ub,U{O,>,+YcχgΙa'?-ǂ1hL ss$$,[0ߤ.;B} /:H/!l٦9{OYW.Ca&c.h>j1PK)<Q;!7ۡ/xzU*q:^ʵTy-[xJ"f"b-.I-2"S)QNNmudMܦ䟹{/ (WnҺZMɒzרm1~Mmj!JCxq,IC6UpX@b{.gYZ7zXZִF! 9]ŗXiɟoptB"5`'''?DNR6h~99K[u ҆ mm"п1[dDä#Qc)K ڳӒ^v :[0rSoB\B~(gmd5_j]ZHp1Kk8St%Ʊ蔨"8OVV{ie搷U7n={f쾋Iߠ^Gk s+%y覱=йm|폷.ŴNb75x[1F-$xthNVa$D&0OI,tSSLO@F/b"zsGqВ t=+͠Bv߳ HہzfpwplSq=Lr_fM,9yPo8{5朇\l#̺QT$\ ^m_LCE <vf3.3`Bf̔mUuJ{]0Xh jeU`Vw?`96&NΨ'/;RoKT!6^YQh FK]@ЉU xtLu%M)b_\.XͧTBR证ALbߠaԘBڿƷqvgk[Dgs_#:+P-ճ` CeФ;ȝcDg|9'g{?J`O(Wh0۽FBr2q2U*>h=Q:0be9PRhG;z;'a ksc:]2Iw:לN~r3V7(t4a 7w" #_NWTع0/v:z WgYZ4790a1a03e45e4348b03429ffbb6d8750061876dd6ac031d3e88d65563eac5f02a097b7a1de9a7e3 f9599c72045408b4573575612b1544f97d3e8615 + GraphMarkingIBP