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 7' ,L ] Stream-Fusion:threads=4elapsed=9.058cpu=12.460gc=0.268factor=1.387zXZִF! #]ŗXf[&R g/ S!SQFQ&1{ySW7x|:~rZ,߶̾Ց\GR] < %T>V mP"]VU23#n&}{~BvnL?Sy)mdMY #}Փ*[q^~Ii)sn]H}_*[3+Gz8F#M7QS3Z.IGgYZ7zXZִF! 1]ŗXiɟ>ӇuMwdӘ-y/եnϬ'(vؑ+epl2ΤH*LbA\D{6XB͕3V#& YP܎Ulv!ٮfG#,`M%YӉ*~$gYZ7zXZִF! GG]ŗXi%L 0˄{j+݃Cnw{tnPiy2v\Qbo bJ:IJ_Ԝ@^2 ~rtkfhBNӊ `g= iξGV sqݣcdhTVWŷSLbO|yk,v`hD`vG* }>_֢y|)wœm )a=._& *^H7Hy1+)~k`qe*J?HG "Jtf; djNE-ѯ^"%3gՠO8+B?O]2m["e/sujZa]K~ [##Ђ7#ؔ(6)[GBs4и]"J]{yTgv.j pR7rg8}NK 1%T"hX-+/CgXbAŭUzpryq82-!ܒvLJ&I.576rk@vu_{s<\kH۳/M<. s$7:)2(hVsE(x~V6Q 9 UWN,~t$66ZE X–qcRloW*V$$Eo6< \>Koe-iKs~yQFYKtT$7x(2x֤]D(ʯ+`/QŻEjDeoahv*njۇz@wv&@:LF<2g6N™ơ3'B;H%AgܜV(` zES,+.!cF:dQ@U i?EbKP?78LtX'cpFqf#)uf#4D!X*#z^"-#EstmD;qjksRh\ia޹@@n_dU~@DSX,,ncr G +B| ȎM;gYZ56285a796934d4e41b4ce848a8ac92f8080b6681d3f90704504dab3f9fc94e3d143d1180eb260c4a f6ffa714dac548bd1fa745e8527624877a3ec1f3 128a88a5eac78b7d575bc8110eb39ce5b5078fbb ' Stream-Fusion