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  I I,+ \ ]%]Simple_Firewall:threads=8elapsed=16.040cpu=64.378gc=3.451factor=4.017zXZִF! 6F]ŗXf1-/6vR[]~~;S0ɞt {N$z`9Gj}\W<ѱϞۅʰz@KP)yOZEZr ,M6i<vADbA8L0ܙ'V߀PPt͑+6 $ony ^";ˢPRL3c>{5^\2z3Zh^h0j })Ɉ—&Z[m?lVq|XPn4Ϝ5 ^2s!ٚzuU:JkWZՔݓG0 P|+d6 "{FoS-Aկsㆋ8"s-Pkf0Dd2xĩ!R?`G3lW;p!+ 2_E2V㍄ Bˈ_j + Simple_Firewall  J`pҙZ\dFNxdE1[ZE@8JsqdIx0yS6",P7}R+7wbۀCE 3DET U0BM)Mbic&x& 9 YG7R+WպRWG/,*N8{7g؎@BX?}PhCw?鉈ӭqCzζ6Ӿ/}ZSqPk*tmh'*izi՞ǘ\\*ڕ# x +*i.0w,ȝ< |"lnMĘtkkd+d8`t#;YUmx9#˯2 @-Z%7zom R5B>;Ubz"@&qbd5Φ'A3!f:E`YpCSS-ċEߙty}˹4ȟ"!2sO%*iGj>{&&4, iH/aFGw1u?Y-f,ǑMoniRpv<a\E-b*wI1'Dp$qFjv6#Go%!oUvip_ dl` Ao5WVz,F%RQ==Ց c+EfzX{'ߐ  mOXFgYZ7zXZִF! ]ŗXiɟoFwՋz86K( C&jg>F3q+wS64#A;Hje 0сm]MlEaE0mJjF[R˼m"f=ޏs>,>hkWrwV_R^dz2,maX/()8T,j(T/K )y|$=Vx(K _]tne+Mܒ 旵<}䬰*6!t2}R-ƯG2dO87Z8XR|aju:lwwpLpR df̌ǜǑy\Ўn09rMRipoAbB 8߿bQxMTlcLy˘Z%_ћ 8s'?x a8Yns>y&1cqQ``)?icfZ̮m~ IPeВ׌σ%M%7tb b ~1rHy"w[3wWO$ئ=tgc]L<ֆq/O?^ijřqR3CoֳA)?&w-tTj>T=@sO(@)_4 n߷,.ĻVC!3 !ZxicԠ|'s EYfB0\>o pNJn,>*0g%@pԡтGuEuWn5.3nq]C$)`YioSVNQa 7(qt *{|hY(ۜ!Ml8FzSjbPXP.;PU<2Kus}akB{}# T ˨FED>湑k -H&D, rJM'3—5s[fZ]n )tϸ<"Z1}orxH\QyhwUcڎpK%jHzxٗ*MWe#R?rifƶ`^' bn͇%u炈;3^Fԍ~Sw K'š݃-B-~8x)i5V&~3}~iZF3}Aۃd!lw7"Ha 07+Ѻ:JM* I 7]4RcLRmuBDfL.3't-Cվjˇ= Qj"^^kjLJfgc\Rɶ*bZǣ$vNy9v LY0U+^CAnSQ!R*jw r[ч`S6P?\Ӎh'C!FN}7Fkuz?NrVRKP/B"7[]YU=5? OYѲePE5X$ ևZ πs-v9}B[XA5,nW}k ˘+F\PE·p%FuZ ƭBHH¶cho5c]jᒨK!\=/!`߿w0z R*}Ǥ5ST4"˪aڊZ$HqV=~A]FPh[k1F&Ki[ӵ`glIq4+7;}4 UНx\2rѻK֤@mš*ы7?FMHiVNZ'>{.s jF}i( n6@m i>+; qM!4 XprFు>@&27