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  p+ <4 ]%]Simple_Firewall:threads=4elapsed=26.311cpu=83.016gc=3.452factor=3.167zXZִF! :]ŗXf[&Q̪"AxO!\>T +sM3٣1&] :&!c  4߂te: w|*|Y@a d4\9)Zj%>Ȇgi"L*:i-mtF6TI=NM[ʹA<6`ʌo!9xfK*cLFwe)m@NtwۼF% Q*k!س( ]Nk Kr8ZtvLx%/L3Pn+ȀO?\L7ϵKP=Uj %IweQU6i<;7nD&l(Sfpeg,[0@Vf 'ԧeJĮS =Ib?CdAxmvh?L![΋[zrX%婋[r T-<]vqU]l#9QෛbWEz?W$Z(5L + Simple_Firewall  ?y%"3F7Sw2@Ϡ7x Ss )Ki*Eo!0[0LX<+:b?g[1~b{5ӫ:La߆%ζZy-IJ dMÐHy`|j|siHK7[aFj8t ޑX\X<#xԵ Yݼ4B9;oǏu%uusah0LSG} vQ:$}eDS?N .~m5LCEikVPTE {:t҅"i嶲+aBVZ8KX$ܼz\Yz _wò?2'<˪jUЌAB 1 $KɆ߅ FuaD*HfTMtٹ%~˲*9q*: tR-Pm*mD-k1A~K ޺@jYhҿ+@::A3Ʀ["k[*ijKT?d9y2\KClƸ&w5kD .7>,l*|>GaE*fMA *ZG7mrB q ]xXkq YGmIB2<$h9QY;|L~ŚɅo;ߺb@T_ =2Eӆ"{' !p>TadɻHw'G'm?8K'1EhqrVR[T-Ivq|, i5ZۙF֜P# @l t gYZ7zXZִF! ]ŗXiɟ1˦r 5IfK",t2Ec^&Hy߮'%44&Ocp'K:bDIM.M(X.iܒ{$y {FJh?K-reՍqr^r5|CЂ% vaH{'}ngb%ԏsG-O=rdr<JrLs*h_3S@ז8$0g&zs$&m0WXP2Q$]>G[ķMpi >x@al/#x% =b8|('NwK :ϺA_i{]z.g; mz헒k\wVhvq{0M1}p.~N9`@avXf&% ~4Ŏ< !pgYZ7zXZִF! ]ŗXi%B4aw,@]rFCL]'=~T%Uf RG{ .5Dﻭᑯy]oZ4ԐdpK9Lh8j!UQQlW>&ö/ %oDWDI}k)Y=[Eanpb(a&h{ן1j(?EirY'.-U "tǠ1R͠1:J)T2⿅*$1PTh`Cg<adlk "A!G",p\@eS6GǦCWIΕԇک%$Z 4B w &#{eX0t*/  ]BvdàHjHv_N!Oۨd\ߏ $#T`Eٓf\\uJ XkCo|&S) 8wk6}ՈY8lCw~mМoM)TG]E8O;!TF2}w ۉp:5Hjk/8d~z5-WTgjz)Mk2:*Q,IqK = _b˴N8 & D[B"6)Xkc8t{ɣq&4> }8d㍍,١mXe|]$Ð a'x`jG y-+ivEhԣi9?y^Ǚ1 Se|*LVH^SPK^ Rif@#cW" O?rc,2!Q;$)DR!cdq01J }wd҃HJEij#v$w!ALKN1qCb,p${$ UKYbA 4$b/$~CpkQ(|ް46<`̓Jܒ8Zʢ![Y+.2vcM%b^PLUO^u8ʪ2 5XڽyW^7ajn㊇U9"Qlأ{qB5gR/Ge\8I8ck~6+!L3c Ks!8<|E0Xnv6B8ƶ +e{R*DSr0Dw6 @mgMETBYbS"D7(bg0ԪNE [R;1Af댓.pmWK nV>tKOw  ;ф8(lyuXDɤijb+рYa)2?T"g7츏OuخLkܵ0dN \h8 "E; ;5hu 'Y1FZE UF‰mE@-InԈ qs'e hAG#iRA+A#,#]kʘR)<=J3Uh.|~zӏ9ʶ7!9[@кigq:S|lP?%2?rAeC3b 9Tp,AǏ&wF9,2lEz@5)%< q2+osa905G"eX*0˖lh.`gYZ6449b33c921d7d9de3cb9107c30f0b92e628eda99cd33e2f2669d2e2ef0833012528b204015b12df e5cff2820287d96832c0244f64103884811e226d 5f4a2d69164630c372a3b2f4b189eac207dc4312 9c8d2e4587abe57168b50c0890c89851be5fbdb2 936cfe216afa640cdb8395655d219aaa42dbb6120c6c64750e131420af046930cc84e1aba527bf50