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  + Tt ]%]Simple_Firewall:threads=4elapsed=25.855cpu=83.036gc=3.392factor=3.217zXZִF! >"]ŗXf[&Q̪"AxO!\\=K'됰nDx6({k#r=f <1y!K`#㘡)yyʜ*f*XD_Kؕ:sWQ+5,rcdԮm]Jk%>ew'rvÙzHY,R!_b9a_ uLN ;nZISkIW0͙Aƕof~)g)QӲժ];Hky;N_W72Kۋ>0)O5lw(ي. y}?? l(Ol B2&sv`o<Q [P[F7B#jN%6%yX5ҷFH \E8R-<1Iڨ𾏾ӴђNt\d@],cHss&tYgC껇q^m*3^.؛_l7` T(gW]0`Oj՞qLO9H fm0W9_*^fIMg)$zHU4)HNY8kF/WI!^ҹ- WX:tL >ԇ*Yp-\IjK_k$~c74>Bv:gj|#8zkۋ;j s!NGIwrmW zȯ!0 ԞbGdj!gyEt\6 3= alS!Q^yg!KEE\J؉q|gMbI69UHbR0* OvFrDk>קr^48#wsh7:䵉K $4~"_1N#d+YVaWiM_9kD퀬wUPj._V+}Mj%Sh|mJn4GCqw;*b_̺ ZƶPlpvr#.I\mҏ=D/ + Simple_Firewall   4cu|wRJ|$6L5Y)iX+0fn5Jh &hxAz~}?}CݗY$c_*Zhf~ZWX01t>@!Ȭ5撞ސ1UUuBqpQ*,ϱrQ7 x]*Oei~èP\\AE6a sO.6!+Cڋ#J_NZ $ekow4wgqşPvzţ[K{5AtUprԇ"e=g_K 7S2nM ma3R[""KʑdPx. LC[&(.I&o]'lM  ^ }DgYZ7zXZִF! ]ŗXiɟ1˦r 5IfK",t2H3iX^`B8+ܭ r#VPqK GBij"~H/SHB>K#0T1PN+)h*(w5v@˒X-#PaoڙcMukWdLCBoJtP Yצcw;vUPLnD= -mǠ:@oYIZ[SC  ^nn ǥDƫR34.#󒍆9w'eOJ؅!'0@=:ϓʢȼim,i|}JrՄqG[!\"Qf>rIC;SFWVL(|.W$u i9O5-µ$)LX\96 5yh: QxgYZ7zXZִF! ]ŗXi%Gf&$fGbVr#_UD/(7xK]--WKj8H,Qg2;ϧX_c hq<2JȜQуSja tIQh&OBU? #@ϰ##5(zF4WrȽG8<+(WeN"C {"TƉE^ҥ`sֿȨ<#h N+Q aEy Đ =Z}#qS]%q6/Z%v+˼H넴YU?W]ЕUթns2(&\L.. K ;{1IK"rl<\D9 waac~lOVyGg-UhJ6s]&wWo;;00OR*JCt d_.nou[`&S:(9'my[}DIwOޓs98=VB&6DD7sȴc4+ Z`XclmѸ:zI} 1ug:v݇+xE93+`ZeHMU,0c nʓsW|>OJP g~&k^%uAcP )?5I47Ќe3dDQߞvRۚVBX1} Nm딟Zvs4 GS+Zpw?Ir$n@`ϸ5a.kRqIJcnSlxaԻ)VFfHut7oɔXwC %*\*vk>Q@_Thͻl r+#mCn[L.j DϺ(lZkxTB0µi* !IDqާ4 f\lu9M9 v\>CUx 1"ش<#^Ԉ&߶A(@aT1B-A'P հyr$p1Gfݯ_] 7%@8 ]rTdrڅ*wWC8)ac04Λ4ZN Ygr{?- RTw'd6R }mRnpol8iXŌ m&si8AW 6`{?( ubw'?7n$=%S?qu*< @LsXA2KdL@x5r7l<޽{)3(X+oyVy^K:+}%u/0='bW?\3Z(3&` CA;24鸋\ L-nRr5$;RW#ol,Gv-h[w3t MO_.;>;#N!L'v|+WwU\m= B8֬Ъ0 l F<]Yq!2ƶx=NgdաbN")/ _AH9!tfXuő9T_N=.]GE] itJXGr.Ce͞ꃒ%?xa 8.zMJ*0+QJZɦ(^AGp)e)u 4F5~w[-"m:$fMM6`AxJWHk]dw-aؿoTu['!p"9!MBGԘ<)(@גW?.Ln/a{Xd/ d̦4CjWu+z.PbM\\I^ޯvΠJ-!Ttoڸ ^ ,ca ϥAnAuٍ80顖@@utk4=#X2@z}Qoc J,"gWaF6}f5NAak0})z<@Ē=X$`{qk~C1M,tOx Mjf>GyH>#)#pn;wKBTchQA2Rm]y)C&.6K41ęe ٣lB64u'DS?NsY&z\r ^E6^5}> \NVu#Uq npRf%k|)uXg4-KԒPYF>|.,6FnC"@0 q:[o|Qiʬ,( ormJRSkS\Kq;CL)U~`"