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  0+ ,D ]%]Simple_Firewall:threads=4elapsed=24.094cpu=82.164gc=3.292factor=3.417zXZִF! :]ŗXf[&Q̪"AxO!\>T +sM3٣1&] :&!c J^[qw[a9]BKE#\IuYV!%$_8 " ^U1"'=B5<׏RY:hiT |7=bښzŋּ=).d})Fuxs:`PmyJ҉ϳb6 >Fn/c F]"\MC{sRNRas!"_ H|TZlV<u$b Tp0X֔R= :AkZ ɫ64~JџP )15 ,tj(9՗t6+Bw $5*Ո RSW7@; N/?QUGeKDi(BE94 $Ʈ!z|?Uaߦ5 ȃ65VF(c X)m km,+0ݪ3dӀmk]E:7 X\zw ĆEjݩұ@}ӒN}6 x [;1eXtt͉%P)i[ @l?y 55:+P?aC { }07$SMb|}v}gǷeucḿ#BN7n{$n^(U= #nTs,#qUYI^|Ta(\.Dehýn%"- (+BˮYCR@E0mO ΃i0U}ly K* S cFT#L*L0.,쮭R0꺛{'Z0>%:.NZRuk ܡj[*53i!ĈeۗNP5c:O*x0$ |^ + Simple_Firewall  ZT7<9lBi-oq5t穞N;Qc { =Ňp[8uFKbg͖9:p UaӗLV1P.]foиC{QE>b,.T:RBqώXkZ6v\es}87+HzNż3rc &~ /)sq$8`0 >푱+G9Ut'?/:d[r1?C/k"Pl|[ОRY)])LvoCˮ|!R&Z77fq4Pj_~;-b1q9A8v= 7\C u}gYZ7zXZִF! ]ŗXiɟ1˦r 5IfK",t27 3fk v&Ar&F{g&x2 5ke9`,4GX 񟄂\LS cӠQO~FԾ)CLiNPl+8F)DCOvlHmuqc秺aTFnD)f-k~&ּ-ۻ6V/+uuNt]|U{A觋Q銞;+N=63G~._+'Ac xd>K=F6vmZxbhL9: ^+cSʟ^ۄQ~ڧΨ|eg=)nCEimk!q3=X/f15dߌ{̑:> n+JgYZ7zXZִF! S Z]ŗXi%ES3􅥲(ei'X [ȣ/Kچt--ي{ -<75cX}jџm}6:x )Wqf 졖Iq_> ֕ #6$1Mh crc d5cJdYOP V#r[ӔפspOy9uބ5{$J#xx;{CBGPn>KۜdOG1 /;;iGeeq~1m /HW {2Cr;7GetDyx\չ'Ր _&X/sto!E!w5'nnSnYj{tguNkz^BH'(LT{0x;vk GdCV6W,YHO8.rP~`ʟmT u=ꝰSr5r&w/i&fǤm/l/ȉN=>.B'rxIP N`mp^瞻)ip:`(p Ŝ%Ng͚ɑ2d9,2RX:aPm)c!S64bɝ¶[FH8)bv³^J<ށG#!G u]lcZ+dl m\_cy}C22B΂"Ѷ~; J$9٪V=)"RXe(yq:.mp~o3ي we7AB6riy^vNͯ;e,ytkPc 6@z}"%`rD'-dg^10&O[D3avwLIO7.~慛K% ;(|D I-K&_qt~HżfL# h16X =e[\!5|Ku[Ȍ҅EYtES꩑"! R_6.&U6zbN'֫nt,w$E.T$(o!\#wx3E??!1H2o*]<+ _={4\[GQ tĮ\^4AZ(kyV ÏR-% rYTƊQUs C7)"-T*1 "d`CA><$3ۂ^oӚ=LM炭s9%xa=Z%/Y :D+)K"w,ݸ/W@; Zߕ %g}nL]Nh. &ׄ8)k q9/Fg\.H?i+9-vDPid~ɏg=ptdC$f3j/Lq)vkƈ:S,E?oGU W'贈k>2[=G-yqvf)XtxOXi$xFQˑ]^PWSoRN~T9&D$дŝ(70|UZ ЖAO%aku3(TzKu Lʚ\ݛ.~O./a}!:Hv+9Rj*)$vy߃&4U &| ۢ2zGW6!Ntg׶m:lAxM/y |1b.DP^FyIpyDѯ6\Zd\R̕![c, 2;2]{k2$Yh\v򊿎bϔ0Kp /vGoq 0* ν;Zƒc-tq.̑7kJz/-=ysj^&bLesa Q 5QY(EhI J;Pmc%+xvA.́:,oߢIs[< OPpXVD)$jw~VBnmU-)iLZ6j &P3&ACNu#d$r<9l8 E( <5O1sR!4u(ɯ HUۼOt/D:)3RQUPݞ')D"cOZ-`BJPMލ :1!P1K6S~42پ[y޵qX_2Խ ߟ˗٭de?Y򢡦fj IN{k qE#j$dBw5WH{4fD 岋eǵy]I9%&u 8X߀PyAdfwgYZe7ffc2abc565e4563afc61e385e6ede95b2340e676b019a50eeda51c4b74870607c55fbf00aca327 dd820facb07e73b2c93e51e4d0b3041a08b59568 eceb96f25f951fcb080d5ed4a865d467b7a66839 eb32ca01874e5e5a21dd729460d9bd319b72f6e1 6563c2fc0559741ac90c820b0cdd8ed0de2c2ab6097927c2b255cb38db0627dbbcc211cacc907b05