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 6 |t ]/ CRDT:threads=2elapsed=26.195cpu=50.184gc=5.280factor=1.927zXZִF! )u]ŗXf1-q恈͐7ӺV )5d҈4ٯ&o3H 6'2́n_̡%Icӷ(XAs&5FXLOBRT@s +AlۏBJ ;|'CvQn) nEF.dAIRv0E)=I_oo~\GX,q0R@Ay\vyIȂ}% (YT0Mc2Z;u΀:q1=g.;zg3@%F=āS:l#g9Er]"|SXTpYUiSRqnV\t[b w+V+gH]U$9yq%JgZnLqR[Ä́!is{EJLDr^/)2j!n/%?StDҿ‚F( !X&@D 9;A)ͿZ$i0GFA-I8xwT$l2(G v6_&60+ɫX DA3X?m^ 71PSosEۍ&A06R'w DQOcl#.~j,ug7g`֌ eނ92&Uܝc2=6>=D;*Q -L8d9%~@̕|)0vt |%GUBjS=GkO4L|ey&qbޅV ngbFٔ?f5ټ4ybeeIu޼Ưŵ=[CzӔ+f'L2K/8qX9lS; |0RȢ˧!PPϜc74['dV -T:᣿y+!J[o3N8r Rv͜F1ˠAN0uZ:E)(CPDvC0e罤p:OLI~V>'TkwwZ, D萚;gcq2 E⊚k]}1&;~pψ3=TAF SUܛgYZ7zXZִF! f]ŗXiɟ1˦rnzx <@0+gM:w|a5 b#eo lw&3ǡor "DÖa3TP7p:4e-?("Z I)|jCc=oeoWI-Y'wsժꛪ/qǁ?dSoezײ+b; :׸šgfYF'w~|UH#ѱgYZ7zXZִF! }<]ŗXi%9#qqv6sutӕ޵"D }7QH~4IiE&&1"зDXn'f]6VHufI [1(R':l:Yk`l钨)؉ICㅜaN;Tڝwp)0 r \L5򁲮?$A-%43f^`:h!ȴ ݃bM>2;6q:8*ѝW8SGnԦLJ)3*u,o[VܻcKGoɝ~I <0u %"&h !bԆ\WG1%RQ>^h+?c;VU K* 7|SUQ2-$[9ʦ+=A5%n? +YsF t\oT \AǒAOe5I[bfz\ *ϐCs8է-=yLiS׾ ؔ zY쥭tzR`c;ca(/8ュɖ]ڎ? [z bۑ󈐴cB` }RvxJNg$u]6th='Ŧ%DFap@ p ZQ^!=jڊ-=1:dġTτ~MH5fKl[Dnknζ1}?Jp`[:EN밸 <0[ΐbDCM}/}Ul,=2-Aqe|~{KK` >x5Ycw@m<_4K9Qe{>θ2te gYn9բ)ʆy#JqS~yŚ>08eGQ̲9 '[JmlNdI'o.ihS&a,C %=H@ 9{lTQ7e15*ӽ aѿw}wE)vC$ᚸNJ1l.,@%}phpp4NV<R?riqKZMUyR]k`0r-n 'rfAr>{5bn+f@>x&ǼuJ8+R`L;9GY}.;fx^}oYp\dO2q/F$膵h8mElQ'w#ʃ-J*vn{l//GI[sˣPj2)|VA ]̳jC(K]2=BBU\2g/NyZ1|7A=Z]Vfen\rT$QnT߷JS`o0!G:q/N RXTĉx{{,޸I HL98V>0EA!8Q?%*{V `_ ?aao UPe Mr0M1S(mV ?{NI2U3YCߠPۥMgEh# DAqafO/Ri' Éjc#,|$BJJQJ|=uH[Ai8o}bJEUo 6|y{2 P gYZ216596d40abf3778b5f6ae994f56fa8e46e472ca8ae0489170ffa4e9aeecb054da5126bd23bcab2b a42132ca83816d0082ab6b716aea896bf4d99d0a  CRDT