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  - -H+ LD, ]%]Simple_Firewall:threads=8elapsed=15.908cpu=64.247gc=3.298factor=4.047zXZִF! 8s]]ŗXf1-/6vR[]~~;S0ɞt {N$z`9GjAc6={bZu9nVK2E$ʍ9 ^[}H$yQY3wk=,pA3bnȫc-P,P|O0Wx#ф{5/5> qMؽ"$VˤHf[ c<ҹS.JݍYB3bR;O|R5  +Nd6A1-uaH8㵱KK\~I`V DX:r$hH́͠'XbF6.,Yh>SNfOnU/5ZhC.6)nZ`SE;X8$U".Ң1E#XH=l|0ۗ-%_Qg0 tCIA4KPfo $QA[xZCDU,}ӆuC ),{i{2/WJyzSѲ(gSG0}'#C%;;ś/OLs>mQ4EcQpeӷ+QS27ݳs9aB.?Y?J>sHKaحR߱O0/x"^ηXZ&~nLPQ ;/ݙ8=[S$3o r4%(;(`eǙt|J]BV3ބs!u5<[_qtiyU4rV| VñgYZ7zXZִF! w8 M]ŗXi%Ed}{^jA4 u)sYXШƉ5󱺳lp1;Dda3sЕ% Jlu__ܳ*H"뻡6v8”B7f$'8x!j5n'(?qKM%s\WX>QJ2^1b cukAr,q ?`1zOFOyI'Be 0%%W LqvN8?8UacW6'eXަ[0N vpMFmXZ&Ǩg8#lq<J\%?4]&׹>|˱|DÈ$%J<QPBotWAk ݳM=y)G4XRrRhAU]5 O6j{s#cO+m.LfH" ]L. [KXƑfpk-4[%0 cOE_[\0+0]](Tns:?/,Lzv TCϩaWN^fD )t8%)`c1V/j2i<={8|sR%5AM r 5ym.h=oFd3iF*]'`6٪[M-=6N4FK3O)CY)#xdFBF'N>ɜOA@e(MJy SWQbJ3>b? |BFta2M4FzS Vm:&8?4DH0PWE'qGC4G]MctA 4P|vS=n w~J^ʿ'J ,$)s+|djw_|5(Le>e/^}": ؓ⟃ݲv;9fxDұl▎ x@ w tW)<@j#2gYZd451ed70f453e937ddaaa97cab6ed69e36e48fd1b448280d99dfca3fcc3b756c60f43e37c9f889a6 32c1b1c09689810c1d8958b74fbadf82f0a39e0d 9737b707643b03669bf3c02a8691c9300bb40622 0d693792a8e1b938654f9e6cd7ab4e8c5820513d 8ca91c2c8b834be17097f9fc009a7734aa74ed057c845f1d2c25d59034aaa214c755e807effe03b1