SQLite format 3@ .;  B --?tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "executable" INTEGER, "compressed" INTEGER, "body" BLOB, PRIMARY KEY (session_name, theory_name, name))?S-indexsqlite_autoindex_isabelle_exports_1isabelle_exportsh77otableisabelle_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 ))T $,< ]S Pell:threads=4elapsed=12.520cpu=44.280gc=0.572factor=3.547zXZִF! h ]ŗXf[&.y꿊x\?ՁFM8j7t*绶7c?DK:* ;6 б 6 sw5,,|( HJGl)›az,2o@o~ojP&BMoB5Ӳ )$\r`mmCR#=o (֤Q' Y) V)_{d -EtVt`/Wz4-O^~+_0 떫@?ЀZoCk5NC5 Q W@`2ՠ r±gYZ7zXZִF! #]ŗXiɟ}]B)Z7|; jB~'TL/Px-ZZn+0\(cy mdQcǟ q4k [xF=#|FcLgYZ7zXZִF! ^V]ŗXi%L 0?qY6m V߲Xv7s֖ƍAwvl;g,ťd[Xܱܫr_<5j7KjI[6t%I⭵ L;!ZҴRO`>ľ1lYIƙI&5݇Z+͞F]8X MOjd D!ј囹o57Lw-a Z{Gct[V^ĊNyes JolOT 6FҁFgpR8G + ;jh`uM ddAI))[Ba53bxqai?Ό{c./ٛļdxtl/7 @?ۖ &'IE&Ih $hH:W@I`rqU8[T!ME%dV懦f=bFʍ 1CUȁP 1{KUfF?JiмnU)Flƀ)ך,%4G:% r9GKi>Qw*95sqX`NEQR}'wz~RP2@,La^G>nJQ^D: 2fc"&ѿDx㓵߫=.ͰW"a0n< |ŶԙQXq-3/NxBG_c%*x1Zf9>-?sFj&V RH\ )/tGf^,t֭ qfsâ7a/5[ [i!O iLen完hv@] rzE A0s+yiŌ<2jp+p2i(>[Ş^t?-97pe꼘4F!q/$v\;)"IJz>qƒw׭L73#Iñ<*=l!&5%8DD*^#5xL@4n0W5݉WTཕ "Wt\F)& 5iAW߾Ǩojrc"G*R ]' Zi$s)>݇㑠l4_D"0z'劢V> X|FLmu"ß5V{c@Lɣ}GUu䲨Fwb> 3{WmL,;P5 $n\>%>.,y^!֞u)M+qsd{y]X1p4$睸-`׆ K-m>ί8;ԆΰN]]߀P=({V*lT~̾Cm(@ >ܧ?Ɗ;VG @O6 8;(| -nVH=!