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 GG;  m% Special_Function_Bounds:threads=2elapsed=35.852cpu=68.800gc=1.100factor=1.927zXZִF! ]ŗXf1-/6vR[]>hHҔB^Y1= ; Special_Function_Bounds;Nu0Aev`Lm^mm'HO/"+mooxFl f`yhauSB;qNtQ'wKަ$,x'8W,^[,Fv]b͝L9lU57$GC*ְsng%U?"c(?3SDOFkv[ hF[Q*b0 khw~{ 8jpioJ-#ǁN\j 2w$9us=j,Բ\Dpsd@O"AB%سgLU-ȅn`r}TN7ye4mC F}-2`x&4ڑN1*,ܟ~ύE#}v6<_AflMbUT0,mNQ vJ(%ZTi Y<\@̐>8\_[ǹB^8G9a f9 R[5Ald"yIC]+pvJʼn/C }w=UR։ULavїVBګj&|Bgקo؏Kc*2Lۄ37j\@{vRAiơ U*Q;((E\ ,5ѧ׉,!9D svVÞf⁛. gy!:-(i.@G|<w*G{@r;kǙ1*g֙1JkvL?UigJ!2' q`L m|3),έm4[S9hjY/4 -rRc*w)y试?'e [  {OP>ՐqWs}5iR{1C:FY>WKZ5y`l^Pߘd\ {nYGSj #K^zF.\eHgQUnD@gpN Gl~<V4:pbd@+z`~4cdNCrJm~BkzfUP?d<9Q/Z"KH o4JmPQ0ti܂ pwWgv!T 7U3W"]$w%Yh?l}?nv(iIޑ2ܚ}6X1 4-/( itL!"9]By^KV4h9)*~g4;"i{cy ̲II& @6:V%޽.ʯ`5e l @f=2N9$&ˌ*}nK\5'siUћ1#lF檛G؆mvo zKMqUoi\r{%Ѡ5.˗ߖ+˗֋}KCRIV)0w[6#`2*f~kǿ* %L໽Жj\}cpYaB.Е7ɿ2υ&L}TƵ?gKIfٿB(X=JďӐbht+Whp?gYZ7zXZִF! ~]ŗXi%͚߇/d&T o;K7 >'yu39oc#5?&2> |7(l7,R+|;qM n$77i^en+RW?pf0O`e-$I-&bpЁwg6%*ɪ֔~M8׈IQIzP0}uy \\InMR¯$W*spHh:Jf0TC8>xQJ@@]#&m}#hMyO-l*Ju='D:Miq?䂣/ ^&_R v\c,ˉU;\(q cB; Tƭj#R'F$7+yi6zojhE8A-~r P5ɲGS)SX6 Zd^KŹ吨@8%ց@ѹac0{ZG3\생bSIR|?m`q9 KYMr5b2GSUB:'tG'uS(;k%s_XMJZf2%:.-ƮzLsD>JC7Ft21ГF8qHNlGT'5$N9qGq - `7Y5xpG*.{2|vk6 5ilW}20\r;Ӈ%"R[ΛPw>p*uyx0hp)hftm8a9&Tg]dtvB}L0V @BJF!èrUBwAwvF*6̈;pu NR(\*>FV( zȪA 7XA)+.5tkNߌ[B2zگ6||H0=gֽJ GX}eE*y ,a*l:}%~d Ay,$הRӚLc0(`5?}Oֱ+4ѷO3F$Z;p/[-i(2WEvٵZEҊ`4kTo'{O; tOnKZؖCUoh{K 㳫XX?)>#" ͊q`2[SCcJ'Ř-ʳMCyO* )L˟Q+g&%~ Ӕġޒ!2tO>娭:+C;?XiN#꜉mp;י s\^@Z=la ky3 Xy. +0O,w)[L*- ru=$ QVQBc!{ww3 l')،KtO*(mtyAh`A᳐-c@|pCq71bY"W׎伹 wi2uBN'۷ # Xr1A)m_fPx=G(=> ӯͥi^vDPqFy7r+A'w΁6Nj3#!v2.;r i*Ah8\0G3&;l ~/;[zg3zV0mxT XJ>TGal6 x>P^~D?_ɲ=bYd4V%eej[PA4UzG1/muT ˦URo&V݂$s=@Ç֣gṔkςJb)Z"TCT|j=UmF^ lyA 0>"V' ˬ].-td䇿 3ÕDz!DWSCs*<_h#²&~cڤy<Y+5cf8 &la*+j52 ^gYZ36ec3d919766f5575ee7f9e49fbfd3924d92ef7c 3c7c24926c5015832091b71f773824ad18d6ad22 6968882a9b8b671a249cb1492c0bbdb0ad92b429 9a40a333da26ce6329a5213b1b992cb89b687787 bb0a799777f761555e86304e137873da7c79c21b bf9e55fa9410e2c8996425fa2579ab84c9aa4014 d2a205ea372a1162240c9f333ffba6dd3b94deff d37109b343f6fcae48dcfe8d8dd6a1c8706989aa d96748e7ae501033e4ad97e167b625c75055990e07addc2441fed9b50c84968593d4ab6a353bb724 8db62e28615d4e139a28fa3d5b23cc3a3410b988 2c8670420f1e217147d01cec9bd2eec9fdce3aa3 c43a68050ffee06faec10563bb7ffc2d737fd7f0 9ba6dd73a2359b5b86e924b4ac19889736aa14df