SQLite format 3@  - llB77#tableisabelle_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, "sources" TEXT, "input_heaps" TEXT, "output_heap" TEXT, "return_code" INTEGER, PRIMARY KEY (session_name))I]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info &) t4 yS]HOLCF-Nominal2:threads=2elapsed=22.405cpu=43.872gc=2.060factor=1.967zXZ ) HOLCF-Nominal2F! [q]ŗXf1-q恈͐7ӺV l$wMc^h:&L($ smJ.ys'9¬H7BIT&h Zfʅx?gUeTiD61K>I$U9)e u".Z .],T7@,•Z%2|InQ- }5q㊦8:fdY(()Y<-#-dH@&WlVzZb]fɠymrV$-53m+84LIqx#=#*1U;Mesx4HoޞKi;Rt9R|V4Jk B69VNC(Kq{35qk;3i姢(~BİɅMfhmb^AyD>Ms #rI}C"ش 呑_0*K뫿^~.< 55**(I.N) QLvLDr$*T*wk7#1p՝DcP 0IFi,{|^ՕW毇NXou"vpi.dF ͵d?m`6br"S6pyPԬG O\UMu $Z0Aƛ71ϑӔEx!g(lk2%2#,hPmfT@`${g,\U\Iқwh:7d6<BG ykgG&=LEft9ɳD]+kġtFb'1N@4fL %*ؕ7U1 OU=cueqV:!ѱY,keWq2XBd@{;g3`YIq1SK 16MA/@Ya]һ-Cb%B@D V.qaN') OMxL~KUy{#m`xOӎ%# Y{}S%wUפT rH9m'+3E>>ꭀy vnac>Y3J]YЬS=! y.? ?^}|QJaoI'$\%T򕚱^KJV>A8} oa/D)n&&LD=ZLS5$[QI$m6VfL?2D6NK19flHa)׈hCy`M0+Ke>W:\][=kV#ic*~vj7L {BKmM}Ue2iTeuZbܝ4?j|JJOׇ7Ʈ#rz$*41>+Q`P3EZK0)Z.+?њv;AF0tvӘz!`!®q|<0.=QT3k>NgieO ܜqLޥ߫=3CF /w]%pO`n- 4UVv49()>jf^ d3{?ʘ}PsVHWY=nnnpVݯr7x;~_RBh!}~Oy|K dd2?Q7 Gr'v9x:܅(뉉PAo&`֘hǭJI"EkܫI1h&h']wQaBO߹ 53/ɝqz$JXNm'qDxj/yai%zY3Rq)F]c2:V`RHh ?Gjh\YEus),U :Ծ*̾[) ¤+ecƨSs굵GԂz;eX ` o}l 1 YBX]€7uSpGyRk`%VWoQ]*Wl`4XgNRU @bLAws,i`m;^ Z5c3/O~LsExИ uSP 33B]@-E?(FMґ墴0ٙ"Y=#\Ћ~p/Ѻ)$܎|3 e۬4E1+)AP,TM u!ܟ"]YW\TJb}wOkɁ pfe+"hq.&v;tUg|鳚E S ^^ |`$Q#t[*<;,2rs0QrX:SV .psDȋA=eq*_l&UWi6HBt)R Jm_GHHx^8c#Lh)='c g,p˽͊02s'1;!-*1|3撼לۀ{u4yHe~QFȤ"%Sc2qlOJ2heyEĀ\ͮPtk8RA,S Y] Ipy>d`o!n|]q뜊ڐbs .Q@*鷹s辫bM;Û³! ك`"xs46 rT#i\Hq啶j j)#0o 3W,é9ƚ3p8D>į_:beLRpt´TCt8ޯ>p5\IrGڏPw';]IN;$zӣZ!ܥqNLV]=0 ƂtCsHlstugfʍ >"h> ÂDl˪.e.Sy_"QDnrt5a81 N5ȥda=yY7v b5gRzTva5\U h z{525{Ǹ07t_`m I-n]OTϿce{IK#Q2 6֋_jM(o@\4@VGTzH΀/0!UcZ,o Ğ.kCҷPDϘp|f79U;$03<͂@l2vF^ (ܶoYÏO*/۴Vy89ΦɦԽ/1ݴ4GL{H9#UUv%p"