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 CC: d|L ]/]CRDT:threads=2elapsed=26.990cpu=51.768gc=5.344factor=1.927zXZִF! )l]ŗXf1-q恈͐7ӺV )5d҈4ٯ&o3H 6'2́n_̡%Icӷ(XAs&5FXLOBRT@s +A Cj$?L^&AY/wj8Wd[gJq"땭H00Ck-$,n@YlZ^ٗ Rp;|KxQR78opg7`5YzI3h̴Cߢ[!OimPxKZ12I ȐZx:i+W߆+!c9і)uW\(4ӵNF]8Z=R*wlsg p[C Z$YI,!Ҥ+"@n: )!w'Y]M)Ȧ])2'bgl0z[1' '@UrɧX@2ejUYWqN:gK+ot:5aYogD7v&<̟oH\uEr]AFcاREUlrS7*eґz[YeSraZ1hdž jj^j'D2 @Y+Ga RۄgYZ7zXZִF! g]ŗXiɟ1˦rnzx <@0+gM:w|a5 7`GQpc]HU캭']b6*(f4J$~Y0Y5 fNE]Tuv"H'2oc]tjcxxĝ-\qqhRC7x7*&|W~9 NZƸ>~8 [k.Q3nRA6W_Pm{gYZ7zXZִF! N]ŗXi%ή*۩/Ptw &5s]A{ I)j ꤗvnQ<2-[LaL!9wuJY7t/CK8y*D~͂VV?8@1P>ZGY(פl0!=O{pw2LQF ]nf dҰdp`,qbzZ65` ]҅&!nAZ6Dl@w~^O: sqm KP r6I~feć{6=[GIul8|;TV )tł?*uuBxj]SD)[M畄@[;+<% m.˰y,֔ᑒvF aAE9C }F.>;u~֒DReffvY[g,t2_pd:=lNNBځVz,1h@F96Ov2ani:P$]ua4b-aMdIWoZLIŚ."l;Kơ."W]_߄g6 c1S*2]q\z}=Ob#}{@b߃֣'&thHΥ0 }gECv$I۵`m?*]AbPͽ'5~aiWsQ/bk'c3Eɚ*}(@#E9^=imTŨ>V^n~D Y8s }W4z-c?sΪ72MZb3?O& ʑV-x+:ݓ5Wrh칻$w,0TOމY+&е..Ahfx ?^ME-:tJ 1E c T'  ( T*\v"ȬFnfb8t4'e9jp@R7ѰJZ6BV;RCϯP$z,ˊ[80SZ \|c 68$*7oQI)L*.$䯈ɩ}="tVFɩqRQo`m&,-_qTtJ#S5ZrgJ?Ro|>q>%u:ASodȕyʞLdu yIq.4jXttPL4Y]'<\mb3`Jep Wp: \2U+S-j9## I'1@XbߓԹZB3Y!Ү2A_yQ3 =LGR<(arCN`4-]HcWPݛb9pik驜lfҤz9Uv'2,j *^ Sh`CK(?sH"DƷ>}uB[H+|\jJVH g> XVHsUk4JWxکHFD5YĂ0]u(f阖pK񹏅sdYo6 Pb;TVѼl/0dCuV$ҟ~&(7?&]}ל81ž8˝: L*2w[`J9Y)S< <Ϯx6/Oh\̌ӓUVX]A`)–h>Uzاk }o>(֖H7L9X弪V# #6\45Hx:{ĮķBۍmW@1vPlerfϒPӱgYZf200d59be06e4744df1555ea956171829d5e8d6000b13affeca8329065e523557b07861f9da96370 de656be5c82664d2d06f9d4f4c7a9247323f4c028901714c2f088233b2dcc83dd092ad9210bbaea8  CRDT