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  E E0+ ,$< ]%]Simple_Firewall:threads=2elapsed=38.376cpu=71.832gc=3.992factor=1.877zXZִF! 7O]ŗXf1-/6vR[]~~;S0ɞtx?ۅ==0! Np[e QW)'&[]A"6g 7SagnJ3"s8CL2GFRSm>qg}w[Y@R≀-1=Ne1@BnOMcodݱEqi$`(L8^t0K{V_(]Փji}#uLc|޼Cd]zᛶ1"LT+ty6 s u!7<r1&q9Кj瞉p0s:/,׊Ɔ K.[jF|^6}VD0~bRT+["( - bpXEyYϧЋA΄.e9^;^|!2[rmBb5#sY!+ع]kPn$Qܙn\Ƭ"ԁU^PǻYaz+Pڵ (xi.4 ncB\1[iz6yv=DO|?Ux}C }ze!3 ,m#~ ;8<!o_)Jiթ(SP&0T4G#OUpCZ(*@GQ XS1\Z8y\} H۽ JͦkhGVJTB h?C[n3$K(vHqD\:? 7:O>XG + Simple_Firewall  居X9dEǜɀnJp#A Ae,)f(׫cYs t;}1R逼kNvZ,ê|;e:JR-*1Cq]~[h*?T:{6+FƢl@sfXF0aF5FcTe66s>Z`[zRaE&8Ru'd"@-aqX|ge6r ./JqGT] IrȞ rnNP\,(ҡ"7C6W*460 { DĒf_Xw9?,q?j:Lh.Jp~q~ƳF2!dKHUP-f۸D(_"a_)լ v9f y=0];ifךYV(Et1⑋QP)'g&db%Z408"XZKBYO|+i^#0daʢ,][EҴdM7i΄dC!T(ƾ03o EW0 FgYZ7zXZִF! ˭ X]ŗXi%;3)h^QƯ'|+bGJTWj#AEAJPIS:%,UF`|SCX6r,yXH!Sn/YK8@_?dyZ8Hl|K$Ctnsp@rG1zō:퉪)JA\~p_7fm}lYQīG釲t*kn 8b4$N ,څT= (!j ij!lBVvWX-s|2|@?Tpu7a+ڼf~WmwKoWet8\[ؕ:%eGق`Ġ"etj3Ln MyսBjdVr`:g?MJ)/Q _1Z N]C=$~!ż_Un+ny VAfDAJ~?Y4N!V<2j<֣W9ZkZt4zUqlJt6SNƮdlhIytdg7=LX13E2hjЯfW#%#ζ 0}Hq x =g[hK+XF@ .[[ZBJcvȷ.w2'ElLL?SޟyIS3aHUo|U] 1_Nٍ+=rNBK lX3%KWGw7qj aGXPE}z' w +Bedoz_]M̷awk̓Z@nwڒήW̻XãI?^{ޫ>h$:"8NªC UדiCiܦZPx :.H6N^bB 60Sv CY@?^bbGDI zQ9ֽA10Ay b$$gm6,mjx~8O r[q#^u2j.V;5~۠9zaP\ZX٪ HMJY2ʗȮ@:xN`Maqp_mKu.g0+O.%0{opMZ2}8stBnPP< Һ: HB{QP O3Ѹ EKm#A5'oBx<|v?Nd}