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 {# $< ]/ PseudoHoops:threads=2elapsed=107.612cpu=137.620gc=4.424factor=1.287zXZִF! eZ]ŗXf1-/6vRZ"P*nI%ͧ ۩\{"G60.JP(%$=LreQc]ɻ~T, %;(;tI:K\1#a⾧&7u wt(ӀQ]ï:يa-{~fc=Xa:[ փvc!E7j(ݲK-HʢQȘI6&5](D]Tk* +S=LX.ZSx$x%eJⓈy갤;칽y(n;c,tQM7d J t !uB_u=K^Uy-aYк>@"9Qf$HkbǶ?~nQ}%^:<濎#>܍[ 3-_zՖ%J CQQtN4SS6O[* /~t|SA } mڟMicw7r;-ĚZu({KHS; 7K)dI|Qq#NӮT-4(.MM"r*(roM8, t}hkTOr*ɭ N ' *L4lևRzwD@|iϩ_籵†zCpG#ם-w(?fvݲnIf)R c&N0hxGdWDm(g421gd*ߊīthؾfcˀFOK7= t/!Pޖ5~IFgGiʛ7grPijP܃BڜӢ B&nRg_+0*-kq"&o5nQÞ8n>sqY&5zz{qˇP"jM 鍉[$<~[-GF@qfXWyw`IOp7:I#z(xb,f:Xᤍ E ik zsI:vdc/oKe^wCIOW7fLp3_3Q#"ʮ)q_; Y*RUTھtA&aY[*(AgLIo" ՛66p5aKJ:Gq+^'#qfM-c% +)äl%BH(tuw!9q`|u嗍Q'|2L]7yJ5˝csꃺ(ںLo5Pl"seOJ%J;߆<=Vx*X. #jLkKa5UOCtF(݀zqЙ9& {~ W}!Ъ]18>+kKjwUXB^m!Z_ivwB%9t:lL8Dk_魄iU&I'2g" J {%}™7Em#_ W vÜ?31낐U@ Jd~hu\1!B+Km̈Vc7kqW?6tCؼLW@gVbFs8n!^$(ߝ)Vby}U: gV$Q8W@L>:"r?P؉+A['3i~'&SNUU䙱gYZ7zXZִF! ]ŗXi%93T(XozcY"a}NnNGFű.w9#yO1gYqمw (ՁI(1T@XL(k? h,W]5{vۼ-VŦGa2]6g[8hO5a;GY` Y )&~ݹTףp "GSg !CI + 2%"Z14i4a>*+d9ǿPcM0~V LmMfbzd;cҗ!$5A?,@[VwJ+h󯢚^-LU,k4Vg2 LĽFA}wa 92Gmܓp_9sL?Z2fT1g m@H3bmB GFзfrtm*ؓ@ZJp128Ι @$ q++ͪ{Cm̾>U-(n{LK S  ]hb[Q=R{fvߋګKxok Ξ#*%Sq1߉".p I\;sWY{"PR"Qfw:y&AQF NJ+_u:x81%_ 3JRIȘD1oe%ZTkŶ2rP/$Xjҝ-g#>?7K eٕDT#)w/;ՓsDza|WKb _cDckw3Lb 9~m̚g %CUl`9 N,]DJ U<5lH3m7RLTdȄ7VmS"Fv|/e_DR >&Յ┝H"9ڰȠp?L˷q{ɍ3Xj'?Rٕ"zGH1F4^h&1|j720?Mx`=KuT7񿜋o?e={پ-ܣzfyƌ*Ynh#^e(_7ʂB R!aC٠W ;3:xg\ǰ~ٟ|]*⾛`V Gh̚\i ~@fwXo5T \JvU`B]~)آ& 6wx[_"Wݢt쁻&`@QNfJ͙kڨ~Vhu򜰜DVRH7ӱ}،T8%\j59~pxZ ZɼuzwǤ3qIK5m } 13UX0 בj-v ˺x<oZ;7rdp|nkuy=+pfܦ B@Тqg! 6{eA;0U탡'ef>%9h>LY*JV63;Ӑw{vBl"-R)f#HyDq=\x}3n8tQUU!hV~iF˯-\'n G6\(7f֍R58>Oo[Tp^FCqHVǠMpq͛ZASgC"\ǫ?Lb_n8 긭/J07^ @PlG&k]YG\yRh 7ڨV<,J*7)[z8,: EQ>ձiH ؕsPT4Qר%I˥?>@Jb܌i!Q[ڂ>\ U>c'SF?q2$fسlJR!@ColTw3vqXxq`,6{PfdHOv}f[i8[I٤Zs |]>`{ 7._8FMڷ(vױ2'i?VeHҌ[@O}g,'b@q`sdߗopMTi/\EN)B̺'gHyEkc1 tQ0@xt[rl.U!b!&~c#<[+|auFd ~>b9$L9.شdd@xrlSFT\\֓[͔ū J3w BkPhџEa YzaFG̥L9㒔WCQI#̐4= ".qlpzݹےÐضM :Ok$Mj|x3D5NvZ7߮ٿF5Fyo @o:-l\oXLubjn7Unw%9϶`?9,%T̸~gjfYZzӢU Fi<[lk˙ 7sr>oV8$i: (n^]gg:|B8O# ޽H6oaۢD2F2$q$\െz5g1SS;F֔wMqD!x* HB{4 T*ǻe0s'8 lJSՔw* QشиyRW"An+ߨH0"E; V|E>؄㷦j>sa!t@[Yn={XmM=Hz%~=)_Hh㲨մ dɋ`N7@ygU[&\ DMX_JtP TIZ ֱCIi{]ڃX&B>Ю8C)(󸨨D]~C\VWLvdzVL\OԳr) @O1-5Nլ@2ͩY#ÉZVm6;MS1vk2Q5U2Zx'G>)*qkaFd{TëkatO;Un)KU|L2tǸ! Id<#|,8H<1Ҵ.4ڔT,CXEﰣ|:26ja=*Հ'Ra_rwmN–0[w;yc=p4ͿF({RgYZ953a06856d050c769c6fa7a92bb66213b821b313a86c2421cb3bf965bb7b88ea7ffb63ae19b7c19b 246f6e81708adcf47b424e236c7a30d027d9b852