SQLite format 3@ . BBh77otableisabelle_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  + $$t ]%]Simple_Firewall:threads=2elapsed=37.533cpu=70.256gc=3.664factor=1.877zXZִF! 9]ŗXf1-/6vR[]~~;S0ɞtx?ۅ==0! Np[e QW)'&[]A"6g<.^DQǙxq x$>R82/8Lzzk$35%[}e]kO`8=OI*,' yu,ePK U"9o6waFO1fDQ*}o)Mm B?;Br-h}p"?'鬸`hbs璙 YjBG2lǰHeUN zrLW1 + Simple_Firewallx`;w 6A∄:C;O!Nb3d[r FiͰ18zV^i`re.]*.گ Q)X6{QtobDXu##ywB(m 6 mV.&̀s2Aӥ+ <[{$] 2N? M י$/aRFiiԍĔFa9bz5V^^v*anzdu f=[4*(zRmimѧB &u8g#<.m:8b@#}TӲ.#FJWS (/I*f_rbH (Q-D@[?om;m  em~bA7Բ➅P Ý+]Ox| E7BRe2S,{y>!\4gbm:8+|$ɀdUAޞߔX/G'˪cT oh^)"=Ixl[6Ljܖ׆%~QJ- _nQfhI@6d t2!m:جPL?b#f:-BS/U"#WC5!m؄~~0 X#]jqgR=䂳q>d~[U"iI;ȇͿakv¡H9k!{)ڙy  伫3Jkxw:TG>eSJ< r-I)gYZ7zXZִF! ]ŗXiɟ1˦r 5IfK",t2MCƮ4zgn+rghT e"LPO@}܄I1iqHEV3k ^j5Q*x]bc 6>Ipݪ ?d5flշ:oY[P#hOQ<]&xFmH}U`mYړ̯1_A "e3;m ےgu\t& `/J 帔X-NN6<<t$xҗҮGBƔLI|8WxԹy )b$+_a`O q.N5\qt2/kY njAss.E&'8s<[Һzۇ v] |J LW׾$LE$B E5&`1oA"=LYyuGgSb6C A$iv FgYZ7zXZִF! s]ŗXi%ή*~r|rq%c!t.dUL◲G,h;! =_N93;#yYaS#VYa!`9PF*Z>{sɃVא5PTKxt)ߒD/B9ӹ+qܟ_9h_P$G[ M:0X/)x+~<\tgz |m;^>de8UʢR2s\U.vr[@"׽ 01eM 銤ДgoZrwM?bȡ?a76ў ΰҍǐw\׭c? t .De4oۍ$W)IZA]ȏJ H!xl?"Ͽ_Ѫ!p",ZD4y&~Ʉ>z뱠^_ѬQ\?T)0z~qwiS|*;\N#?>--LݴF$f6gS͖2&t 5$bxd/j p) Dgv&Y?ȵڏ3FRX4zӨN,iUI)ETd'}.ߡιb] Il6BD7?[h*.(u.p3q(PH#Uf,\z{S{# ) P)X{17%oV"ﳩ{Tj3P|Wb{꾑)z 9ٚ$oG3:+E`$7 rD;'pbo$!nEs[2Igb7?[8w†3G U? P#פM=UpE̮0\ׁ!cb-x,z'N[A4pyL5ZU#D i'_X(cƎXJnObR{fgJPZZ[y,<^Mi($Eߎr-WLTC׽?`^ ;Ky\S'^hocR8cb: Jx~m kgp9/QL<<_MWi#u(dq(\UŸ7pJ 89>c( r&+''' e}(fb 1PDY%f?7O5J%PoӜޝW鐾Uw1:Վj+lAK O-čD>?n[]D%Fbx.aBm ¢1A,j:elH8hu~fŰc"Mfxõ& &X!!`PpK:G0CMS9׽).cxY#=&QUdGJ{K(43͉oVv8H8b&#')*qEP]N븖d_ȸ,\F$"6\\Q7Gzݾ:GQx m}_D/N+W >F> >ΓG@ܻu@{L܈W噾5C*hro.'e/C {;Tկ a{ZA Zv۽ɣT}l}R$R%d",)cC4/"KN Fn$ċׂ=c$oi#&ē rFg7b/fD-7wDŽ 528opq+Qmqgdil;׀zvdn_J]uO%^E+'e` ܨp፼C=HI'C;E.T7% ' ]zФzc"W Bl)pQ\ZPoXNz +Ư1U,@n.N Upvx#)P=(#ٽ%}u|V v_p5 Y @zz$,w#.4vIgh7/Tk 6kkH1u`6kY+a~ +:vk#R o+gX[*2I.pfP <{rkޕ V^o&+$j{8:`uj1Q =rE>22XgU# UFm>\O Y(TF[$ѡf˘>gYZ6a586253caabd115c227873975a53f0e2572326100b13affeca8329065e523557b07861f9da96370 de656be5c82664d2d06f9d4f4c7a9247323f4c02 1d794962c486b8be2167e1483c98de73c64d1df2 a1e79ed13d53559069ccebb7ffd2d67dae6680ce 354d2808f307bc6d1a392d3c3435131ae9b1382a5ddefa470a1f2bc2a6a49256d9a04008b82d7a04