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 ,+ L$ ]%]Simple_Firewall:threads=8elapsed=18.967cpu=78.860gc=4.090factor=4.167zXZִF! <]ŗXf[&Q̪"AxO!\o,,Fה_c57U.#կ,|TP sTgh_kNЮ ';s*.!{2vIl Lơl Y1*WixR^SCjf.' =#aR QܣUVeTg,-1 |BO-Zxh`CgO{?nAgڹ֮/ >1zLU> Qf@^`жKt[','5(f@cNu‡?P͍ C 3ǙV f씪wT\Yj}]hSp~=I}1-L8(_Ao8΀B(lSTxxy>c8ZsX'b(6%ְȡֹ]<ⳡ&H86b Q߳/ w3iˊwm\yP6԰8pM˖{lz""VWi3K '!xHL%| k½O7WZKg9xol~$Z=6Vk'FY82D6WQ0?j&yGϷ GHkb_hԔ7zUϸ5 qڹ\[K,&zK67h410BԄjVmp [>˾ '_'Qma:!}q E{gYZ7zXZִF! z]ŗXi%>tw=E e9Gқqô1ԘL@/ /^8_C\i@Oa EAvӅ-r4LD#{㷉;Bd'P9j.IX!@78dƓܰ8 iOPlaL ֳ0ښ|n FK9NMmIx e鉻\]dsp.>< 쪃|*d0/g]_xn^$IAI2Z'EFCiODc->Ҕ6vKwCbJ괘*dZX4>>nq}/s)gNμ7ɤ +^`L5+I8 W!IwN7 h:/#فK** ",^UBpYRݯ׵BpUڑ2 lV)]Eo5VD4aa.-wX1`FSmU4RGB9f4rBQIc۱ܤiW̹Gd[+Eo@2xg_3ŐݬT뭻de3DldMR+yn^ O*SQUag~Mc0={x@R޺ lꄪkX=tst9pJSC1sDOn:ƹa$)r|E&X@0"K{8 <95LJ(+ŇX-[bg2R^ EzX)q[Q"ݶKE]dXFos b+1cY)t˯>x+w:L2;qaP psPutH=ӣwwbȄ4N>?rR #>qh[Bp}EXbU{)}- 9PJc$e5:0Ywhkȷ 4վ9۾Yucs0d)y/֢'U~Z4!IMlHƼ23BنZԸ%+6yDC<|jM9 Š0T`\&lfقHh.1X%oNmŸ \ u8pnRȞ K%L64- |y2̶FW١%OS ȿO#nuS7a()ͣ̈T%έoq5>T?g}ZeT_%g$?/ioл"2b熵H:w7Sw_ 1xRd$'0Tl d|ѐO\]oc!^$C, XDM0Oz3%(sZ-,r` : U>0qHBe"@(w@+ܗrv?)Ɇas FqC|eWJih+lĬsSlf09خðbEVe-R,oT%igiw5=zto,S!H6+ 0P횽q'ɶNcT) H' \B" ^8>_h(e::y%cgYZ042086fa2029952021d8b380bf8078d42436a1ebc58d21ba3dc8b698b4c6d36f436849048b45c256 c642f89151926be6cc7824e0701f1f7d684cfe9b 63aec6a19b97ff5877d55a98daf343e2f0e7427c e708cef555b4b6e8b9a7058a1a53efdddbe70ef6 5fbec515aacd6c17a2af1c4f86d6bf4f86445c8ac485496a8352c92d7dbd0a1b62dc6a6f27ef831a