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  4+ |$t ]%]Simple_Firewall:threads=4elapsed=24.139cpu=80.968gc=3.444factor=3.357zXZִF! 8]ŗXf[&Q̪"AxO!\\=K'됰nDx6({k#r=f <1y!K`#㘡)yyʜ*f*XZL*1\lUJa?y0.TӴKV)Tr*/,9rs-{XQ֧ ƉAkei2A-\0ea/5 V .Qs:&_א7Lsr9 T͓ N5eGuU8 wh>񘢹Wk2ȥy71j%es|OT# rx'Mhc2G>4HXz:c|s>.$5C/ڱ+}F[60JT|~LX㢨7Dʄ+Yg bY/ͻQfjK+ cF{9fYƭ-k)*_5p-K{"neDd!<ʒ;emoBF@(H? Ee0utW#ؗ^BGq!9Is|÷3Yt88~ {"SfhK[ \yȵ޽Xb N#ۮ$?{dg[hr슸62>˘(yZo䏂9)l; lʎ7,嗵\ڭp쮞[/MI0mFf,\"L <"$< + Simple_Firewall  C6ްD-mWĆ{܋>\>|Y^InkY 4Y>J qEl##8r0A j45#娇(O;<;;*@P'#<`),|<ZQ xh= !5}5DtLD- Q-R.7Ȩ`|[QIl6..>YZy{#L&~&cXj˗qW͖Kǹ짤ȷ Gɰ^)ēyei{)-a^|ܗovZ8eo0RiZ~?o52d$u%[Z k6"_![o; 'n} ۽a(xѠ@5HcB8Vct*E 8MQ8o'qϣʸtnvګDzvae(c*ڔc-/^+&x#_ IA~('~xMJ%  qcgYZ7zXZִF! ]ŗXiɟ1˦r 5IfK",t2Y6e!"+3/*n.G%ElNaqzh=s7j.b7M KxT7K# {_Z~(; asSN dzІ l6y) i5ZŧSQ5jy ݖLD'av&3@7$]T)Ptgl+o /ct'3~3IOC_~DQ/f {Nx9 k;:*y1,i HIK?]~NuW֪KhO7UTaagOc$₨ dؙ@~F.ÔOiv53iωW٠Vc8ǹƪj/D뇡~&) j:AaL2{ϒ6$N>*V= =ODq JF)bd&j{s.k]gX֢:/e HLj/܌\^/Jլq*)TU)#Yp\+R*χ65?VY+ &_6fchd0ӽꞪm";/{$?{ AGs qv Y(|[ͯPgnCc-Ja|kG9+w.<,rRZ>12$ ejp:Ȅ8lpm XHQ{EhQK<U 1lBdj,5J(GJoDl7M +,dLݼFXN,i"8v#&x.w6^簖K4/gyUyw^(5&U, sI],*#]6]tЬM@ncjgIts\$yvlς~֡, zWSH[U+LTڍƁEBI*煎:nQxhGϟׂW[tiD9V.xΫ 6eC4"~!|8.[tgz}g(:$.4dl{`[t]&tQV(waH&|@F}٫{vgqj\ˌnRe`xed[LBw_wr ?sl cU{@8`Ն=Z8K B?2D(eRu+ J{ְqG ߎfmT26ڮn/_$/ ]<[x?"RR P:ѥrL`g7E glf=>њ C8kqägwqPjS, *A/FZMx-nU)= ints۩<>s 5 Q:1^^73-L[:&ccp3E_I bSzLV)2}5-G]g DWP0HwP'IӳTPI&AH )8/ǒ_d  4.:z t#K` ܸWd]E6H[f U[]?i.(AjZ^s#Mt,HϯVyhkb,"^줔}a@LC͜ %BgYZ70983f032d79944002b02b908f5139fae66e85e74e13432f40f7b1835a151e11bc124aeab3c9b529 476b8b6d93e3d9822aeb6dfada9a4f4f5a0de682 1d00560d07daf982585a36b41feb94620a9a595f ea838a2b1407082245ca8865092f8caaacbbd418 c7e1e4111f4c1cc564273097926e472ad92e883010fa8587df089505c2214b49ed405a4de2b7993b