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  Q Q$+<,\ ]S]Girth_Chromatic:threads=2elapsed=65.706cpu=114.360gc=4.972factor=1.747zXZִF! +]ŗXf1-q恈ŕ׬[p){tE7SS]%Ŝu+G˿fZfm 9D똓:`)}dTfh<}V _qOXTr9xc4a" 21p9Zd qa.3[;P b,,zpˏz ե}/WMt+PY(vWGQ"݅+nrOEkK~G/]AZv'70icGcy`[D)/w9,SBoQKelZigo?W|Ԑ?Syʨ:1_&?B Hv;HZE[ wAHV׮N \?QZʉdI[<j)ߔ@ b?C/C+&;ƒS+vnAܔ 3|wQjcn:0d ꛱z1l~.gH5B%ʠ6JS9=]la/w>8lb 6j5i"Y*9m dPSW xe? %wLh UYFA|7ݏˡs7UY؀/G1,QmB\F3)"ݍͤ~6зPWQ׋o }3mL3tg[=r`[;Ѯe}ﰅ P=bvS_az Ke 6Vs&7'_G:\@PVڠs@\W%SC?qLp=01 Mjy$zA%[Ysf y1 t\mHlq k;{YCR*:3iyk:vXo69cpoG4\ZpcLj"HED÷gU>]Zl0JӷO^WWjlH2| ֿk .@?_׮s /݂A@{pNa5RJ)HTRYA__j0 {˧+D/T.Z&͂!o.ّz/'uJ;2 }P|ZoCC!c5;eZ]I*k_);A8cXQ4'¦h-Y>TX_1S~1$mj7I^/RZa`%(ՑeULl͎AwIp|Ʃjx #N^,db^[{gI 2 + Girth_Chromatic"56KvKeF4qer3&2Uۘ0<1许>ŀ`f1һ2--Z1jLgYZ7zXZִF! 7g]ŗXi%;yeӷAe61; ҾCu]F'`Dd $a)is\`aH}E 3Y5<": uzNP2}55$I|6a/}}Q XʌQ(t:Cu6@ Wyսw #zfj80s$r(|Le2zr,%A)*2t&yTOL^fA`946 {Ǫ(Q% 3;Ys^#Hķ@ةVX[5WM[#Cc?Ғ*qN=qtӻjf$}(],.yObnNYF+ _bzx]K)[>en䞑|[ %_ۜh*:jI>0_|+9i8WQ~P訩 5^$#^5>bSZX4hC/unQY WwіgNf vve(+۾ؤr1/>DzBthFo\#Z$L=uAaYj O`Y2Pv Y^тC:00(A]P0_S!F鹁] 0mǚެDnud;kly|%ХUTiϗfV 7 ݓ vlYOthJMP Opժ/WLzȊL6Zd$m28ǭim`W30nyvj6"zգ&kVE@Gn[>=NR*j%zv%enkywfr'ʵAw~Oȱ*MoR{g+b9vpd6W&F .Gۘ4HB#B=mzN<<.kA'8s/}]o\5h:Zg8|pQ]o$ M74\J3msO }`#.ݫ"M9p\-gri 0a,ډq@R- `_Qӭu t55Q Y%vKb?RCr:]gI;Ȯ{H~E)5=Q*WE8-~Ã kdS^JgO1 Z+UH6մQBQݏ*88[um lx?8 l0op̈,֗\}QhRi=_c'Vf_ <MJJ(җ&v3DoVOb<oMNˎ87qeA⸥&d^F/@&Eey_cٽv xwapqVziM3)kC(Fԫ )!&-xu.0Zqg6n֒(<s;%2{m :pP,z +ZE], l[>ƥXL" #aװmɧ'ggr7J9F)@eWvNr馨wgn!{&Fjb~?bǻZJXQ 3e^K`^H8~ X`hȬ:<*c1c=s$΁$Z/i4F-N0r yƳRm{ 7trSX(" Ɠ iOKݟjԳ^׊/%c%#Vݝa^ME|aR0kw< n׫%0