SQLite format 3@ . YYQ77Atableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_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  @+L ]w]Girth_Chromatic:threads=2elapsed=67.087cpu=113.828gc=5.392factor=1.707zXZִF! %_]ŗXf1-/6vRZSc$ ,Y:`)Ȋt7b)*Ue< orK@0}LB5_EfLe ,Κ.LFG>ɗư}(p;2C:ԁƪ]4i3ߩG a lQ XNBTʏE-˿ i wCר%v'4ADDIpr =T`8M-Cf\;奙 ERK1c d:-IٯwFo{A5~(>ZeeSWj]L֟D`ǚնߴs&a ([,|Rxr,L#]6k@΢y9d;2|%?*|#R.uĕZqd9.!?‰`wӵiMWg%ZgkNȳ_t7+bby8F#$ 4 Ud[֙TP<`LS_+YQ@@5K(iGb6Od炃 BzӾpp0ÐVL.hePaJ]GDs`҉. C]93=xM5-<(*C^LAT+&!"#^7~@uBoT‰D|"u3RAdUM3DEgGM a8`y{`Ӈ7KU1$6S/3)ؼz:eƩ[+qSǏ8ޝ=BR0"}\E% 3)qGe5=OvFɍ-%& cje\~w:2uα<íWُ ( ]U)n~(!GK + Girth_ChromaticwMOv=8V)+aTJzϲ1^ADRK~kk JupH]JBbgYZ7zXZִF! ;]ŗXi%6Ț 5ݱ 0ǩ[agſ0:#8A3 Sv~NýRM[ė=WZ[Ecsex&k *0j=s/o-)a)H@φ" ل$ȫ`^uS :J3f@*;_O@#ΥgLIʇQZAm 9Xk46>ꢶ Qt;nvg\崮T xQFKm5`j,`#&ߋ"GgkRq>weE[HWq1vRC f_=ڷɥ8^bC)jLI`$ -Ui@ou]mϖ_,QKS9 s];R[!Dl5%iѬ!fc$6s>xӊj6U-Ki$`xO<3 -C^ETFoԝ"Ο["I.N`͸z޴Zs0by V1MuyC*hvd&1ÇCRzf;"՘\r*-V%|K͊ Ϳ(¼eC_ k!lDÏZ}.BOf>$CUm)@3'"DNAdWgҦ^2A|D3\db՚UXG0pY\s1-_nvےt]taMY$Xgwc^x]/܉cA,?67 1"1UB6kƯ"5u@Kr:G{3]0(*V0ގTmr>\Q"<.s sM:+ؗAS[4O4Gqs2tc|BՆ;?((NtGw߰4:fpj͐Dvb.0l{-x OA{e`k',C+%cHlKb@P29vIҟ$U z+*IcEv%9@n gg '>]lTȔ_`KJD3M79/~wp{)4IbgOrO>۹zeZfFXiŵn@>CᣩaOIRv_M;v9V`Lԏxs}_Uq ,OK'*'|$D=ȡKN%4jՈ,1bQ 5[O~Oj+cEg8 R?7!5`%O=):=c_.ߨår>?!k83s.tccжP_}b9H! WTFi9;!]&4sBzY[t(OЇ$;I -} zC-\"Ȫzet ȣK#2i?VH8͵2H!YƘ̈f30qK :w?L*aiv3 'فsH}֙?djnt䶷Te&&:=90M N친y2=nu~P=8IKZ[Ԯ&S5̥8,kBPrМVqqCjdYTRCNΧb2-#u~s[( ZHOgN1*qLa`Ql2`{yiDVPR6?Mw cfS.ݗUw]S2cX(J#<ۛv՝Zu@HY7o,?Ϯ#ڐ+< ;JrI^x KSwX`W3GvY@y\7`j{`"@V]ip^iߚQ1/-Q>g  2ɭ \o&S|K-m١? -2kb ߾' :-OO᛺ oqc^O閏rzO@QbIӔ[ ڒgH'IBgK9>6uuo,ao/Yk | JH٠pA4,ʛabm]<#J]>_qw_2d@ڝH$!V82P'،rXO^NM0Ɨgp%g##w7?DE8AGq@QLa4dtY 蹘V^ip1EIB٬Қ>rH bˎ1e7th9#pl錅Z+SۼdEê=livQf#Xi ҫ֛)p8!$(h(@xx-[jeuPqo1[[=wP>,N(K4Cap Ó3f8ؗi煳[|1Eќ]v!j2gL}N5 A za੍{ӆ1sCзi{ʭ+˲}CV}JvC6IP9(?U8㚵*-$اEYyۜ2y#p?8"J튜 e NDf!.vhhO?ƣ/JF<ǖ3]\s&/͹d Qf }Q8f'9fiE6ncT,'4 R:0+;SR(br1c/q5Ot5⁸'u{^P2IF'.E6ՒE* *#ࠔ`_1qS'nˁZ(kq):4.03Q*a hVӍ?/[