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 9+ T| ]/ GraphMarkingIBP:threads=2elapsed=20.857cpu=37.452gc=0.796factor=1.807zXZִF! ]ŗXf1-/6vRZ"P*nI16iT"'?Rz"=.ۺ .!j[Q9Vf GH FP|rrl ʬ|>WHQҧ7z-ש}Pۋxjy58K8R,x9b*#t$񬺻qǛsitgp1&6&ğmsH$|@4SyE ;5烈-{wAAER 9̝C&ۗ82h7HEM##JSUQC䂁5\V) [~$Q$ *9jA{4kdW[NXst8{FFpu+/CL 5b$6咔.{gYZ7zXZִF! 7]ŗXiɟoptB"5`'''?D $-OPpRxbF*:~$)栧l\~P>#*FeLmY"K?Ur8."{lq&ZŠ(*t{s%!}͢5q?LcBԀeǯ?=b3<0D|IsS1[9既V#/čWI*L/VToh1%=]u ^̧&Y@dt.#k%V % n3hZQOwiIIy%sNӷi 085f),jj2H%mzOPQ}V3dg0yH1ѲWGQ08Kڮ"n[c81*GZos1 puscM%@d70x`jԌ-2EN чC!8Tcx9Zui<7ozx!_GqJU>Y4?"+?5Ϗݙ}JbUlП)de$Q$U%1P{*^ R8۟4A J+!\w#w1ʍ+YR߂\G EW%Y+5ţXopc (iKf: 4$!C(k 31c*FKar) ?ؤub%;<䒐jF΢PnoܥXJl~>%Vd@}872?2^ ]Y'ǯX{K(y1U+R[EXl\̱d/*md%%m k~*gOU_(T`lJ^.YvGYJvn~YY!1a(P2\["z֕YDE/U9Na-Libwѷ}pQ'R0b(>3)ɴitIr8eߦB).}Ov"ury‚fԲ17W(ye[ywҫr,ُC-gm+;k4pYXe\gˈpј՝@v_Ƙn5 _ = n8԰ ot٩]o6;%6Ok[ ϪFgGtek3"Z`\\zSػdeOAqQ{))LcPiTBKכXBiV>M I7 /0W d56CA ~gYZdc38797d12fe08cd17556fc8aa79d8ca78693596d6ac031d3e88d65563eac5f02a097b7a1de9a7e3 ffd3c2f455ccf76046f1a522696b8fe123ec936e + GraphMarkingIBP