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  # #Nl| ]I Gabow_SCC:threads=2elapsed=128.740cpu=236.400gc=8.412factor=1.847zXZִF! J]ŗXf1-/6vRZV2OHP"yZz%}<4hw,\~#?ǘ&LO X`-D9F%:%k/^6Z:gKlnIRHo)WDZLyA8#:&KSNvԱ ?`{qjnw3O#d§A>q84bBƩr{&.] ?A)< _-ZUT0\g̢efcHZPQ, E1m| ᓩV9^7X= wRG94MmY-MNښ9v+B-O <'P5eEPֹ/a;%h~4ZHO*2Y.gA5 Qڒ6wɠѝO*m |b'Jǂ9`L_J/JUkî%ﱈ(;e] qNyMw\EO?b W5fUoIn5 }CD͟:8%.YbTGj./u/9' l~A(0CaVI7nx g c phHV`͹ZLnm4OQ+nӨo_sܣ R F򰹅w 9"QQW.ҘWr6\3ur.q~7]dzJ4ޭHReFpu ΢D'%\R(A&,An^YqA{nI{4Zqځ;u\v#bP-<+x+)j :rVkG3Yzj>?EeDŽzYU8o J[CF &ߕ,⠑ݪݦPcOnTl2Ɓ^yƠ>߉+BrVf&+Sڜ7U˜W$E%:LHɖ82\"0`oSLxqSfX޵ Vh>]S`9=^ILw^昍;ld*&5H,-{Ҡق1 DJ?P6oh id<)ƨAσ՛4|ض%KeV[NRo1V9 P ?Ғr Y8)VwJf]>FDmAvbŏz2֞"|2̦{-릎1*{0.sXMb.RҤԝFOxH4\`ɂf&/~5ê •̓m~gYZ7zXZִF! ]ŗXiɟPmKhU1| 2 y_bfQ̱o PSm{]D+dveJ0WXY^ p{Q:o<'cϕ/Hq&[i<{NIJ;(?H Ⱦ 7;G!ĮU1ְzIj5R@c)>+&LLnwJy܏AoSl`n=9.3h4:/f͎梱gYZ7zXZִF! d]ŗXi%;с?Y\Oԥŧo}%{e LcJ^Ϝ ?niϫHVfHbM,`MQꅸ F3CߎȄ>h!0GD$̔HS}mQiJrT4tYZhL F#O rPl^3zLR^lUR(KJv[Ț3Ppy}KBgdZG :@B ̇(Y@Jw(b?fKkY1S_m :?>' XJW&B\sQ7" @FdM.I)~_KYr4֝ D5 1.4 FUɓhKؠ7$!Ԗ_$JM[E'G:x^(<j5ge13kL%nx[C7+ Noܨ 2HXpH rqX IZ5\օdՋC憪JqG^ΣL5в2(jƤ:?Hy%TR~a!ŕU i@DOw&J/qũ]5I<%n&~׻hw$2%iZK>Xmٞ"Y D<'g>~qд0 `!OD(Ϣ`3$kyt;aƽ0PHD" EN#J`(z@1˯@SO'V0)7J%#|r`/qZRHjC>ghz-]'5c{2ֽ>;$ *wj$%ᩤ54C7blU\ G؋'###,GH܏CY=,8b܈0gD L \g wCINRc3QAђU2~@PV`nuo.4ַ~=|,`HioɽtByxo/-5Uÿ# W%#n,1\Anɘ'PmԷNY4g:-W񞈌/X)X6Εők/ճQ x[ov!%70kGi5&d؏Ro\>]#-:QkRazL^ƂrzaNg>hd2 BqyiԷr-Vtviд8$@st7빵D(]-õb魐c/I^/`Ȣ 5dz8.#ISض Pk }LE>wHոsݫf '@dC)Arn0QMٿ-=׀_1/٭ϾIfe6e9\]Vʭ  q]m7?]Wԯ͇g; +t t&"y>KPHj'Jy{7ƫTa ӾrZY&G2DN䘺}+q? 鵺7,d[=#07 0Fd_${O]Of)t.Pq.2TJJt.}^߮]8D0-;CE QvjL^ş&\[hv6e+&$ rkmݪo5R4r !ʃ =cR3Y9HIեq}Ϫ#ޭT!uWﭰU\L.!tz hTz}`wqkZ<#Hދ= D5`%p(*N1u׏kRE))^UjN3K23V,‡ӗҿ8$_ ԰[ûq"ړv(m *=)EmAȃ_Tqc[e#Y`'GԝC<*&iZ%8 yY}UL]NVJc;x_68Z"z z+!LaB[z6Β4xFoJ険{JY v3@g;i1;̼22A9Ҿ_I@SvRk@mw/t`E4!Ta38ߌyM $o.;lh6VQ"N (G& ~uG#J,F$xvgR\H4ԹP\jrfYyU_$Na?9VMiV19 `2elf0wC@gja9QXk:p<&H{Dp0Byu(e){XѥOB7a2Q]C󶸼:ϹKRCư{3Ĺ)vZE}|E߃ƞ|z&00Fv:8XkL!C$L՚one5 }`ytc t{(ҭjsP+c3`lPiDrZ)-[ͷ I>+-UjLr{/.K> <;6pƔI%Pw6Q !fTXop:%]j|a6{6cl'XGLzC*Yj*}s{Au8aV.$a+R( WLҋT @LiS$>$ɼUiMLbpALzA4'>KE߈Δ),erU'EoC׈I_{CsyF!zJ:eMumuH:q-{Ygoc[-}ndijR0;Du#Ȳk ˻ӲOIfTپ9RoC5^uPt\`׿G}2YNG];42l1" iK;6f}_B!֎;ㆸq߫r׻b䇺;e*>!8 Ql6qZXn-Kt Gy4ů_X;:+:q76S pTTY:kOӓsXy~l̘֔Qb9ZxLkq eui0.-~e]u=qyfd1&SU "5ro(uǷe"H3A͎헾E+:ͧ}*T 7LEC(( K8grۓ$UtJp%HUMyI"H4}~=eԨgg @h|MWS3֋+[tw|uzQZFJEi>v^i:8GeѼYKܜ FQqc/X(R 'xv`Om{<Ըu+9?(Cb ^F|wlX y 7i(,z O8+ Ҵ@jلv=0w!X][k:1 k[S i.= .WEf֬K^ljmd@xr) .4Qt>payk>_("=z<+}̯dg'8|ӋJYB2yz_Ȯ=&5iM!Y&Of8o/To3 Qq `7c%bv -jCٶ[1Ra)QLZz'Y]='Up!v}ur*-KWp5ޯRqW(lɺ]gW IYȼVl5O4.)pSk֏1hˌ,[-9߾1E?y5T4w}QdqYE'3>ݳ~CpB 5K^q6ゥ75RksQĽ*D.s=GO7ߙ.k>q =_Ԉ%GG3P;ƚ.;jӊi@Ԩx&EJJ9۸Sd8q+J:*<@"VW<`(8y\V 0E"s+MH{2y?2xKq.RCl_h+>k'Nq%/; wcuCă1)IuNj^\$lmVH;u֗>y,#'BO&vw2Vq Ë)E_>?gj͓iS[%#])n*䨲7Q40G 5؝fJ74#*7B r/a?AX]QtƧWFbsL x3r2|b) +akmxOueZ7~A^RװB y]bk 03/"^U)~{@P,{'MBxfʔSJXNٸՁ:7nrIj㔉Z]r+Ǥǃ=x5ػE?Q\0يMjp/w:]wуzdϬyn#آ ,ͭwѽϔq}FXNC@8(yѴ\?0B:wJEjOmGa#cB8]z"^PxK. ja(R)#^ûR⺖s)]uX26[:ܩ+e̹7!lA%2J+";(i`7xJkBg>]W(k'usAxsMpO;<`́[\J}b{"pZ+bf44 t>ÿ&^Xb 4C~Y1?=2^XGviB7- o_zz'liyPܶ_ǰl&S?Ig: ]Jl㲰3qV&yPE5|&O[Z_rlcE"GL.pFsNO/)0?#~J5YN+12}]1$=TZݼ"Z0=' ǯㅎ>͹sݵ$AHӛyc4 @ݾihc ˔?\wppb֕j,%06:KAK1=SV`:a#zZ+YZnc`eQLѧ0`c'!- ivoFp&i}fэG~-::Fhn\ ldŌK 8j@/tG&CC!b{W7me/5hyberv