SQLite format 3@ .  B p--tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "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 WW& D ]]]ZF:threads=6elapsed=12.145cpu=43.340gc=2.460factor=3.577zXZִF! ]ŗXf1-) enȈA"XxBT/'`a^23UqUd9ndk4 3a6jfܩrQ"Roy &TW CT^Z MPh2:Y3>7}R~+eCݯoG`LoVݶ"ՄkRRC:O9UY;.379> iꜾQjMb\d4ͧF:BF]>v3/B]2gYZ7zXZִF! ;]ŗXiɟ 1FE`穱 ղ8`fm0|@_:P^a,vIN2 |G{aɲ@,aX9-U}:!-p#Ƅ!VBU4ծ' ٖrI AF:f;ڛ_`4p\QqS<{kuGO=}-B%gv}.}lL4J)!c"v9*۱ j)7INaw3DTu-No؅ӿmzEIw:7 5*gU;*GH zN5 6/Һ;Wm`cӅ%'5[IiGv|-!GWq)F41AƟXL8%GgKqOGRpQLe/C$NDiR7lr΄Pۯа#q_tNz.!I)ڭicJ0zSp Z7az4): C=ZQLzDJUx+L{hx?3jE|h'.#((EG(+cM9 ߿$d\T~+=T]<~ʹ? 6&zD* i,I?p՝-#7zn%;~>rsRk`p9oCQ0^QʖQ)rUO2 [m~6"GQUʆax.ƐJĺglxK>聒.9xk0mtrS7٤ 1;\u7y4%AqBn& 7ϹyJ!ײR-5q8ɣĸnE{ E)/@QvӞckpi z,l%.9( |0r"_:BL K9; 6|}$VD%͓Vng4|kiϒur!|R(tqp&wX[M!h#+9s |@ZGȸ:Y&IF−> y7 1JXA,Rĵ/M]4Y`e mqǻ%& e &6&y?TVюZ%Z%CPa˯D wU0.WK LrLncd/'F/gi+xt=(+mF"HԷyV_^M9-#BHMkRgK&zbk$ r]#GϺp 8F\MHJP;%-E-:)4#ι ˞BTi($jblrvћ8.'I,=!QHj'!yJOyǧ/%F:E|(SheˢqE^d I{m—\!lf}dxwNin:Ȟ|tx`'בV.7Z,#X 6?ꟜSPHX s=fvc1-`h2(6Lm?cR<;mfNB_gncE\11eꏐꆩ\0 (to,=B]]"NP#{4$Yi!= x^*gYZdae33d5a7b56bf0edad76d204d1e96ddfce0b5568e746ae3b5d24dcf537ea0091b8c9f94dd892450ab307dc55d48812969959a075e21a62d5d6cca56  ZF