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 ) t4 ]% Jordan_Hoelder:threads=2elapsed=18.187cpu=32.076gc=1.080factor=1.767zXZִF! 3]ŗXf1-/6vRZ݂KjB`_cNNMY{ #lvS$iv F_3D=㬙'f{U9)yͶl8:9G&?bm9|׀;w?>Sޕj9NO:h,'zf!:*G6R"CdR?.ɾyHE* +8-ӻC<'Q穸 7|*PX׮y02GEa@{@c H{㼮*V$ug@}Z'(YlϲF^K>*ba,߽| UT~ۛfm5}b3^Yl)2μZ<L!+6EWE:H~T2ّ҄5B?ǥ r#xq ZьI/nӎq[A-P[37ԑiL&q'NL,kKj\햝58v%! vg<暦=q[:l#Y+vI[FXi_FQ<"&L@O1[13w aS%PgYZ7zXZִF! J]ŗXiɟNGV/}YHE$+N7\Q"^_^`0Oz{oԷcc+G8}O|ች" &%䇊}m@ FFϤM,fhz|R(} |<8p‚JC5aF1 ݃t8 NE>g9/3t4OKo9| t!7k}4kWwIzX+Sf`谲fʕ)kKB?gYZ7zXZִF! gm]ŗXi%92Cw!:,h7q:c pgq[?CеX-+2W'+~d;DjZx(n·Z5ś`Mܲ*wlbbar:1+ =SD[[3?d{#' Ɉ';MҮ҄HNt'2cm}-GT!Sgjooq6ީ^c|CȑJ(,^9n"߈ףH&/GRCKw$#: EәU5T#5(`oeܡcf4w[30h*6Bi" #N( ةciǫkA[33ɳ10uTߛj-H\EâW7Kd!k>o&t oF@WOəse%lRNi~h+pDfAQm# 9Q%j R !#6*+:j"$npu|`ET𓫻G*ԗ[f\l39>%NuTa&N/z l77 yB/ G߷^$Pσ('ο.BYnJ/ɿ9[/}<bI".f38a7l b"5W}jvIX2.ӰWIQW@J2ܶ u=f{#7PgQ|`ΏD2D;e-$%9|3VQ ,s\䧋XLЙJV~,՜b^S+R)^ۜ#r?LCzWe"yBhPx#` 4x:i>꣪\>_9,.64=YGɒtXdvRTR&D`p. bgYZbeeb1cdd05e420d71239a8ce54237171b7a65cacf4bc8d73b6c64716a5747e042c7c9f50e33b4d9a a975b996cb0122f4bbc0d4d5892986a1c87209c0 daf773399df2d213d8f31040a17ff1b2e88164e2 46bf87e128242a537a5f1eca2e017689cee9eaf4 4959ce2a4e830d1f517b9343393eefb35954ddf5 ) Jordan_Hoelder