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  E E0+ l,t ]%]Simple_Firewall:threads=2elapsed=36.932cpu=69.040gc=3.872factor=1.877zXZִF! 9o]ŗXf1-/6vR[]~~;S0ɞtx?ۅ==0! Np[e QW)'&[]A"6gK.SjJZ!R;q۔[Y}S/m  M |j,-hhtؒT!42}&=ԃm!^_t_WE lQB1_lCULhvAvf(3@H3ꂞo;却 1[ \VUmîJǾ^iR?ԫ5pZās)M=(~jK(O!t1ۢ>doTnái Z4@S*sex@ܕ'y[tIs#*5igEK?cui>#}Nwڃu=Y{q9x&k10PVDŽ df[ ^杆̃(Ud7];K=w=3k + Simple_Firewall  Fydoyq2n93IQ=4WOnkEfEB`9%J s2NXEt)3ZKt}M!^}o{ֱtV32(2;IJqq;'u\O*OUc^gIH(j qZ|Dia"_b@9WUJO9^㲇8U7HB)p ){nFb^^WN{N$Qo.0;IUX`-r*8 ~4݈l-Dĉ n$60?iW+ifʏ ^"/mx}f"zhk} \@ljɧc] Pۓ]Q/~B4\gWi 퉂P|w`sőg^1O t3 x9d$Y"L-Hvmun_B)R{޾<+7J&/xj* [# Е3 ,"@A;Tz8.hd #lO >Ԁ"Ouڢ sHgYZ7zXZִF! ]ŗXiɟ1˦r 5IfK",t27 3ںBAʳVZř>^sdN0:jM3@^k1TfpDj C],.t= ZV$ysL94.>͐  i(l: {Y:Q¸B{o*1k`rx<'b>ܪsI 4ϱ==[7F=A`Ů5 w( &yFR$O:@1~mP"\N2{bQN|}B8}d>31 syj>`Ӣ}s5kc6ą>VR3"EFMgWd:a ĮM碔CW@ƗdMSrhVO HنѲJu,r,79E۫ 9DIűgYZ7zXZִF! Ʃ 2]ŗXi%>g]"iQpXfw\*K̐C$F>O?鰸;59L4z`_5.kEOS')8=2a:{<^*U0^TR0HcxluGs.m=B;Dܙ4UQOvv3KrG<7 Lڴ+fR!j)8VH26M7Su[+>vޘ)|].a-J̫_/찅ۯ[C$>_c~g~zfSq, l`w}eN<5ؼ|^2¨KiU[Iv-[rsM4 ]2u(jNvy뀮;_dN0En@g/XkuI,NђO L}\];'$ѽ..nJWOno8NSZQ*<7ޞVOo<J'T `\NH$0|UJI$̫kv$lz@bcSh`9{ńrS (@y9"N)F7xc -t}X{HWw>p!fLm ;{?gF;)z/ZV"O\di32.jW$ vWVBUT#sp BSn_:C6$b`Ϭ!y(eCnYt?|ٴ5!"ysw4)DFx8Ь[X(T1HݎbEVD*gْ@nIW ` 0keVc7(it菽2ZX,Էm6+E~-e̎⻼wv7ε$r)1D7g㰋rߡoW/ɊH!CC7,`O.jW s|ܰuз#$iAޙmb%mf {UXh)v S( aN*Pܯ8wǝNJvo<*U3r/8Vb|`5_9vp_uc,a`Ou;(Nz?b;yv꼘ŭF]L#sKsp&BjB#JZk/&SA{)jv-sUp /&+>wy.KG 9rîWxEx˂{]e!؇ 6.Da+%s.Cvބ uluUpN>O39pDP7a ¸j/jYVI= p$)(8L4 }nQX+COMRIGL\,@ ئthe|_ ǛQURs\9>Os/9 SAwUOTztAHZfp =/Q7Ą%Uqi$ W A!!E+(Iti:vdϣD$jW!q .;8N}tP-?X~W*TKT(+Ěy:!W%/3U~j𞯈7ሓϑ7kI^DeoCB1N׋[PN|ա ĭio&PW o:! mL6B+tjK5Ne{*_Sv"V1wM,=+p wbA;mF9-qx)0ؗvFmٯG` 8;86(BR.K[Wlş+ .<6(VoG=2㸫v#A_*V` Qpen+"K;9&s(ʄxZ!d+ywz~nv_^3_ECwH7lGhُ`'*E)9exjЦ=]w;?X~*gYZfaf69fe3f2fab72302b6ce504e00a78fb620be2497833069aaf33e80bb8bfd493abc152a39f1dded dc78b241718cbecaa21e6c3d43f6dadbec9225f3 16c07ab52060a1877247247ac947f7478297781e 493a0989fe4d5017ef46d01316cd014202e829d5 e004d8c5bef186356d81b03d19f6ab8cb02e2f35810840813f6e98ef6acaf0358a8e58e96ce60271