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 XQ T ]/ CryptoBasedCompositionalProperties:threads=2elapsed=13.476cpu=22.464gc=0.684factor=1.677zXZִF! ]ŗXf1-/6vRZyiKEh[GIHa3灡U.YX.YtzqAd8Xv5[lY$%,6R1hdy$ "g+$9"fM x@~.W`SzO[+/nǑS^D*\IZJ_"L%2wk-ե/ x+]EKGl-~yD[o>҂I6rĉ=Ƣs bH򿧏K|_m?3!_r{R%ƎTXIZ1|<?`!0\Ү߀%|\ z{ҹ+1<}?T+zbV{Bo+ܧא Ƣh\5YyԷgYZ7zXZִF! V]ŗXiɟ}LȒ$o2CakT-|s_?K]O )6*Ι(_q[TokCgVFfM$\i"SBԏ8G;3HAJuj7yQ1Uf·j%PҐؖYTyVrw*Ų F#TPEQΩjgYZ7zXZִF! Hb]ŗXi%6Su]#*cJi4!{JMV;2<^(pɔD}Vje(5"c٘k "\0eb*Pk"ҚJ@ _ ϊ#5 ebnKNuah>X|{`c<*}9_3tWћȎgP 6##QC_ NKќb3v S&TMB(x{܃ѦyJ7:cZn2wķ\ʋzs+tMNl"Z׍5흡w9 Y)ZJEkO^& ;b9g%ZWP;A (̢_cp}jߺ1aqRn2n<1ҭd~8ftr8Vc8vno.9:)R-;uD?T P -ٻ Ar@i^A9UZ(r 1B`͊i Yfih Dg'r~$8;r> =ݐBѸP|uԇZE<+m 9eXˉ5#p9\ 9)gh:ʬ .h$KWȘ-f"e/l}j3!>=ɞj<9 QQ䠷"/q$o獑Z$i >ɪ,=!0ر\b g 4EAįTT:x.y g]NQ]5X3gG,I"$o=F+=-ɑ[*%J>Ah#? 4?C*c9nbh#L2SX3<:Q_k0ʧWk|ȷzgS"*w")F#1^i`ceI]