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=2elapsed=36.371cpu=68.364gc=3.716factor=1.887zXZִF! 5N]ŗXf1-/6vR[]~~;S0ɞtx?ۅ==0! Np[e QW)'&[]A"6gᮩI1 |/rKNU٨bͦcW.UY?vobVJwWŽ aJ)}}DE|y~E $UfgZ9{ Wf$+Jꥮ|`d>N+Ԅxm7m8g(]u䢠+k)q )-z;ޒDo6:̛R2r@HFYPM4V̖ͦI0O`~5 lypNP}wٟ(oXGf'' 5|Hp% izX‚ Du_32]b| Oi(8rmP> jԷܜN7-vi;8D-%Jj=Sw1o . Cqs %7KRgQz+p"+`!k—^ݙHKQ ØK1;X@bg͋bN :(Pv9F 8-YmH⻒QςX͑YhS.vLjt3ȼ:&4e57AY`5GY-JΩidYZ:x {SI9t2>#}?@ + Simple_Firewall  8@|{|KbEkKƠ;E f]8ŭٹS R{"d$meTF'L0$($ 2ѕa @ ܶ\\w,5Zh+ ce0YϽhȂpII{Qx{H_%o1+xG  Hӿm_$Za{Jq&MWR ((?MVnҚ>u C fn{!M߄s%=y\m!+[pHӞ"{D+.?P,d~tf׺:^$86Lv+Cx9]"+Y$ZDqT޴(fP6)`h]{T؀Yz 3]%xu)U~0GVaa!M>~%L55s3X M@SN\@ri [ >?oᠺeFg`FKhœ{>Βզͮ*Hi]Jw.6^a? ֔*ilW!P =@:avn9;Uxb$YƼgOD烐E1߃[sεe(s^pA0j (Qu kFgYZ7zXZִF! ]ŗXiɟ1˦r 5IfK",t2! xۈ[BOJd uev 'v6Db2W*x;jId/u9 Zqj}Y)JmlC- 8.xs$*wYk2kj }֍3}dKvT\Z4@#.% 81/*)@1J"=&-XbݠlH\&SQY]61لhqYTJT!B&*]$*[2Hοe(+p@V T)gYZ7zXZִF! W ]ŗXi%; YRp$]/ؚrkB~`,r>f-bi`xy+4Kґ\\R3vYY/ҹfv=qfwUf))qdj<;xC@doT8 nR(ZJ],*]7/aZ۪H=q ~"AmH)MEr= n]"7OtsL {쬥 lf&@n׫,4R>YRZ _ :_ftEb(z52}Zml&"ݶ-3b;! p$ qZm>rXs.ۅ¢h'6u}0 }-KCL%4QF*qmeYiSJGs e-'JdW(@n uݻmȹ&NZo0BWHl/Gä6h@bQԘ|^E6&C>ATz x!8YH0N[z]u wc;ZHˁ e~Y`-.MQߙįk%Ze O&~AE)C&#GY@"6&lYk7כiI޼M-VoG 5XYV j=Rܬ܅QTy`Ͱ7JńF#!mqJY֭yXXg|r*=$,o+n;Jâ)[͚1X+v d* /B)o:y) wѽdݸW7d1LG`t"|Nk/YjyiZFՏ$I(A̠6 9R"$NDF>R >*T``yHIiH7&()<}E;a0ǗOss]<8L Gc'(, Jݦt +nIjVP4KĚ>qL^emY,+{ >p,l[