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 % TE=_65=Xe%fYj$VL(Zt % Regular-Setse VCw\`=q3? +:)p8iVi`Y6̅kvC3ôH(Ĺ *|YO}ijb0$1rApF TM. O~ՠ$R=B7B(~(i˝yd/Y9nJ2WJ^N|/<ʚDzj|=5 bPcPs8jݔxyz9[.;"K/eT5PtMŞǎ@M5Vdxdc#Ri!js΄}irE p-5R۱gYZ7zXZִF! ]ŗXiɟi&w<$мI*0a)/~.\aIQ#fN|YrlR'|&kD^? s{.LTkfx~W3fxpU81#z} kYnDYAM\ m>9Kb>\tZ~Vc`*|*-[WL]o"߇>&.p9pv`H:nA" [: /VXz/H-chW1 '2+H9<#gYZ7zXZִF! ! l]ŗXi%92'fr!7kumiA1/7*d7&aڪ[}wg]_ -bµ88HJ  OsΗɢMςW~gi ~mThQ :'w"{sQKWn|,tY۩Wݰrb^je믆@Dl-`&Uw !G749p9ss0ϊʸ_- p񡃌1 bfn!gJ39U? PշD὏Ï^n \e{l+S97;#+TFHtנVdx[$HqP(;}q)+& KDUF["VjqJ,E[ *7gt J9P֊(wFS|lkb۪އ3]YEq~F F*0hFJ C3̠ ǔW lCwN~ !L]zaͭvFAHBƯN)")E=>Q ̹/~l4O_ 3_w\'f:丸$92oyVHɫ¸s6&e o7mRC.\y" q >TS4NgZprq:!Ѭ|L<1~z/`;[,ӃmOVDkHcnY,gp}_N?lk/$wA;8q:1T8דpq@U.+>̐,W ?%"YGg EP"_M%c -jl/Z_3:i;o3{#P:Ŧ>d(]j:tGF+V-Tjc5F\18k/w Qn@ʱ-Mhj-A&ɟBEQS@e 휹kwXY:-fű -u<>_@u޿ȅ2# a]cwSZ=FSq%2q!KrhM?6X-le2 i t wwp׊ms-oNߕۿG9zl;&\oAʇ\o%No8 )\,._}X @~V Lm-&3҂5[gO 9^i~\#W_&_?v].j3@j"Ogjt =S$Mf KT= R{0[B^߳a*(f%G|Pdw$9EɸSA㹅v33"䢞S{oYV򈘄5 A%S T}P #bh' |>yBN;Y|y^S 3HIkDrײ"G(zjs_+Xk}_bJ!I3lgj~9z{9 A1_o1+1\|y#nxsG$J:"=kW{x~M}e,#Cy۞ΤSrwq»/I3i&BL@[UP{|jn|0 ?$My$uY݀Pk=)9c3f]k? Nl*^snQ-vi\$OX"Q:y/= a/Bj +bp=T$ĴQ:|NZ@Pb:՛ɋO: S/ܣU0H,0FDPFrA']N®k56~me"y:1յ=tY<of0tӪ̎Ĭ;xU;}9q zeCv81-N]4Zr/^ &T~͹m55GM}tf>wIqH"!v(vî,A'GuL߅Me'F 󶁳 %'kmLgYZd3190771539022a7c3ad9fd9e1360ed49447d65af4bc8d73b6c64716a5747e042c7c9f50e33b4d9a a975b996cb0122f4bbc0d4d5892986a1c87209c0 daf773399df2d213d8f31040a17ff1b2e88164e2de4a2dc81c67732c2df885126b32a12e6049e744