SQLite format 3@ .0:  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  + dL, ]%]Simple_Firewall:threads=8elapsed=15.971cpu=64.807gc=3.611factor=4.067zXZִF! 9rl]ŗXf1-/6vR[]~~;S0ɞt {N$z`9GjivdUM\7<1/d @*S۩عRn޻gxj`HZצ &A]sG{VzX B<~| ]5n x«Y J" 1PwsNA $]TM?.k_|T7QwػyZKmd~-`Į)G~Ӳ^!ȳ^~Ao45v^WF{;zC"LcPP0SRWls7J`px@h!1͞1{hV,IaR/ά&t_{ˤմVrz6T"jAb/= ݓҒ\3Oh + Simple_Firewall  .rfZP9G֟U{*ZisbxS쒙Z ((.p FqYuʧW"udٹ?"TUQ",[5O|Sc8t(;2i8BKx:ɲt&i|ݝ?WC&g~{xDڊN45u͠Rq؏EOFLTA-`Ћjc`jNbڿKk_vhLFqk5)s^\IXJċ7s]邩PKyBYr)HaBCwT!)URfiHqY1GpL{FuMw"l>c tnfsX&.;2Nud'Tֿ`z*__/OS64hZ_ f2_ҿLkn%1ݭ,Y1[d) @dԵ$X p|/`wm-lc"\֮ [U+;S(,b rvgYZ7zXZִF! ]ŗXiɟoFwՋz86K( C&h6Ϡ3蛍m4בXۘLY3 'dv9`bh:݇fla!6Sqs[r /]q紣6P2Ǿ1<܍)M)dĖ.ɵ"f)/ȃ:q3}$ˇ"ctƮ))UsoWW/zQl.zGSZڍ8JN'^A=L ;1SU TܼV8b2Z')x# ט<~K xN-E4),fD 7d2{'(:2sKCtpO| 9y1 9=N WdQ5Dt@b@ʇ)^E:/">ÙS2 Xq@yi)Y٫&73{G Ʀ"gYZ7zXZִF! wP ]ŗXi%Ed} EnAv`B[~;ȸHG=,kcͶ,RzSd|309]lzXG%!KD q񮒻T#gؗ2?i>uWkjbvLICyOfU)[nø&[}{!휭0m?Tt;[/>. ]8}t(JT.sDzN sԕ67s̻&R^)mjK`y %`BP\Mg,4oN'kuDy3ю3 7%Zɯa8<C9$,?u )X?\ljh5!ifuСbefרM?"!fEGkc혍OJ?o+M }e!.tXIKÑ;]%ָ"4_HIcZ|LP6hJ!  ےmh2g:$uc[?px.ZDCǂBv&iVUWD[ vNb'|IS"DZ_2P|Ց; E4Q˽^L8;06< !%3[ %4X2ƬziWM+A *r^N7cԡNN }o^I n%gI3; r]H9*-몴Hz'*YX}qs;z'GɯpСiP+N{7 ino) ) b@Vc03@BKJΞI2 e6:( *]B_ka?M.\zr9>LLFc''u>$,=b$pՋw+vǂK)B^>RH G젬- #vF{=` ^ aղ$*+,/g?rWE2֥uc !LtNY_@]%/Qi!35)3hD!$ڂ9(JrLҟF# e~*QMEXu?~qwzɀX UJO[rF,;#tS|Ko%7zO3Cȃ)E/>%rRt=K_APyo"_!NVKg0X8;$]sEiu'nZ >B離vGUQNָIטmW=gLxgYZ96e2630ef80f61cbb61c4c12050698583f7b8fecbbb5b609aa28db9cebc78e0c10b29428b5e676bd 28100a2ea34f8e56f0719ea87d7ea43a4de19490 5c0630f619bec019519b38a32fecab4cf059ade6 2696781e6c40a14c1d7ecd828d6c8dde2939b0c1 2862fa46d9b4c0ee956825a9fcedf1fec60b8c7b0e5d1b9aa1bd2e451e318a8f1f885f68a8e3d8db