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 C)d\ ]S Rep_Fin_Groups:threads=2elapsed=98.906cpu=167.472gc=5.232factor=1.697zXZִF! gt+]ŗXf1-/6vR[O\"mӼ$zX6Auv$}#K]$sN}[]Cj"EBj2~ ;J\cC%i ֳaUSɯ,<(cZDGn,UWC+ν b#r蛙`T<}H.J^9˭?`i<QqzR_"kgGnH2II}9s <u߂fGk*t%є@V<(v[).̊JƳEcc-ۇQ#m!5*˜[U静BMD>+ QܚA!eiD1ὐԩR5FĖ(0IA%?ne-!bIBe `@b&{JSFט)؟vZssAQy6 (;Z^×y%H5$!WouQ,W65Z/I?z֯0k.ruJ1R sxjb--u0Lxr 1/,)vcYP[hI FZAWu֠_^+%Xx}agpVbb<8B2M4sQvs#v?=@y$r (/gt9cY L.E +ٴ0 {lWUE%dYm 6e [_yVroI]xJE>@F"\ t#f53Cq|J0XJlDYk&ͶMFCi 5"/wǂ#ʇ 7U]$= "mc'Ѓ!j t_UMG~k {`K0>@q^&^:\0=:՜懇(Ӟ?wQE[05 %gH&!$a!L|Uv&>XEbԭ+3$ њ7Sߓ/s Sרԃ Д4.2l,o4[wH1U:T4 ٯVspEa (c.FK0A3XA߅f%:h:WѺD rq5pT#n=gqISaHbh٪9O3%Bn!FC><(SQ7v,ќr}ֻ|-{/MzC4͎a 'š{Ff"$M9QMcSX /< IL2I 7Hw Bw`L;51^`-Z_T)g(ᇲ}a:t58R֕+ u*dʜgYZ7zXZִF! SH]ŗXiɟi2=_&6uȝK hN(/ssXBL;m<# ր.p@GG"2f"CdTeM}YZ7zXZִF! ]ŗXi%W~^f*)'R-⻉f|u%;=isT8ZUjM03[2؂.倇X(f_4Iop]wlR37.%Ě5[̷N}+UҤg헕n(';d~%Q\tʘ1[.$EĚ9PJy)Ad5 A9>Alžq-' ۇi#YEhr&0PtC% x]e\ܱ-,c/T5ȇL4>,YE^̍OtQ̰ )nHmD%X^hH~kziI7BCc_3#JfBXe+$sq}u?V}!)})J̻f]1KLV}="|9>CϝMC^#.(8b|Wc$Ux ۧ8SjLL0^ ]YuDKc/H7J[psF'JγP? oW0= t5UHM`\ܓN}ݐ|}砱_}mٕqͺ CS;LzWRz%:{feNs&`f]c R& R,ѪlV˚k=ZfZ S/\"T-#ܽH&K~{3:W6A'-6!Ws`K8.>*gB1§SLڡDiM|:s$aܶTOZp`Sq'W^;Td n2~t}rh-?89-ٹ:($̾h9P+0w͙LOk2q\SC fs3`u.a/p e(5]~GБ8هj>5T5V5k~y]훨w/o_*$w` '*狚Gڵ !@d՛z7=9SwS ZE YŇ#1k꺘TM ͡lMROFwe_܎b tAߎζ6bRx؀Ug\xiy+OFYr(GMw~hcyz> A]A(lx#uBOGE4ZQ;i suLlˉz |,R&ڔ|D$TEJ<]IlI |YXHzdZ:7Qtg]e?޳`]r"p-*.$zyE֦9kE[upL'f2n:x>?ToW'+5Q&Vk6씦f8Ϩ܃hL e{~T/4oLUN+"{Ax6ŃFuh۫d!2ӽ@H]5j>P; Qu 7%toڀ'&$$UڔGMı?=]%PyKĐ)o)?'9@'2"^ tf'i@ȃ̰7̌%z$LIF%}#ۿ(ӌzlrXJ ѨRg*pܖ }خSm$}f˦nnq'(Jh-g@L.MEkIk.H!)_f90F&o=Tvjw8Su^W vq,}f;v.f۬WͲ'w$m7S*z޽oMGko`498Z5̴MRG'+?qf{Pi9}̡&% ɏQ+^[PWa4ڊO",.cJ –Ǥ`: F 6X8AtI25ـ)%9;_L9efKK o{;H3 )YnpTUSjİ Ж.\uN%Vy5|B#'096:6;XF}~ N̈/8 }.TxӾ]Y ] Y't>C{rļ}|]ϾT*/)('+К):ē3i8:AvݍbM&ᒥeAs*sb8M()8S}2#cuoWΎ]9-WfCc2̖7EBI_.g1|JoN₋n+Yˬ7e+φpEBQ =QQJSA'j0=.Rc3J%<\y8@:WK)*MSܙw|x ů8:NpLMqs\ر\wOghtRCw$`!F"Z||Jۙ(" xr;|:19g ypo~D4z/`Տ29giO6x9}3ZNͷ+w!4֧|p/fգlL.qIUi߭ qƛkKUm6WN](} >ұT#W`,F i#$8KӁmOasҎ:=^'Dk iPb>Ż34ҟwZ+t+\7on WY.)n*DN,~$.*4UNx+Q zUPО@9Q.}+)3Krpz.4D1Щ=<:$M(Љ%iu# p%b5P49[zܡͺI(x<1/b xxzW7\@\)x;gjd dm?aF5x`-`2Lr7fIl5bvVZI, U ؜"yuV6s#lA38`&j-#k{i_3ԯGK*Oް?%mV&IsΦ,627y 3xz 9UiO}Yx8) ;3&n됊/W$8iBT7/D_^}0 Fv=OԲCP VBw 63UsrM,3rHnjrE&8iY%7mc6tm] e6['o>*B%}&x^r +4X QO$tǶX߸mMZ!xOiBJo|}Hц[+>4 ]%A%`cԔu_캸\2>J@ZJҽl( >sz5\\3||9{2n@=쟴߅ S=뉎npOfGHX` .j8܉ܷӖ2F>ۤInhPkYuv,Nݐ;1Y\S*|"6WH˳g{_* 0rī^O]S8fR-L8ev]7ӊU=@!Ӻ[i#Nݬ{*\4dt?1zHK/b:|uQ>3aN `:p+Bڃr+t^4ʠiK>}t7KȅWЁ_~s\5ͩj3>h4{fw,n`Grf,EIZdLìMJ m()*Uq# %?UH8)s3Z?U?7c!9twn[%?zZ^%nVȁͰ_0e3 ql ST9۲q^&U!(7u ŋѵ19=:y80D H*RX|.nPbͶ{#(W#%Tj|1C*>gYZfbeafd67a69cfd5d140c5d7b5c0200ad01670402d6ac031d3e88d65563eac5f02a097b7a1de9a7e3 ffd3c2f455ccf76046f1a522696b8fe123ec936e a6afcc2426fd6b701d456a4f4e00addedffa6cfb e59e10f7190a9f7f068dcb0d18ba1ed1273e2ff1