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  ,|d ]/ DiskPaxos:threads=2elapsed=51.195cpu=74.904gc=1.108factor=1.467zXZִF! (]ŗXf1-/6vRZ3`ivF>qee#C nYCH6dQ1V$21*z'sLtV*VP Sd}*^ც2>/!ѱq0H/K[9{׻bn^4 LT6+>GTR  qNua9ǡQ.F:janDRlԌfUgd{/_"v+3;{S {dz2L&ю<8S_VFtb%IYouŃY]Py?Y DD~^28jk+˩-ߌEzgYZ7zXZִF!  )]ŗXi%923Jm%4F@ӣ O.( >LCcLa[|a8g\`4avUTǦ@dsj+,X9C@^'½L{UTO "Q4J`c{no9}U(Ŀ4 )W_| co\_au2Uó1*1ߞPr<2'4\҅ ̴SQA'?sI* M²[,NiQ4Ws&ojxM4C1?3٭(:{!n AϏy6K +{cw숶D!cA_9k|]z{|XEE Ůzyu)_,I\p Luj-;G:} ެgc?}OvP'.\@X}̊ܶ|u8%{ZfEK<䎵* \ޑ 8B7r?TATR}xr42t OZ揕!&bc]b[kG=͒ft7']Ct/; z7:*j-9qJl3`!bc)~vǺ@;=IT@Ce pYAU[ݖ&8t#4a`τؙE e˾/qtocvTzhqVS.)d60~ 2+șs_, u(# }Bf2 ^[§e ?*1v{S!%k1۰>nm""Ȃiʵ! x Ec6U߅ 1fAt#eлGD+"1p`=AHͼ8I|8iv9(ł,NW, &yn9ܲfqgR[}XQ[ϏiOr͜vNc>emI?SFO2h\};!$TDvuhR.kh65L.0+ ؏^׉FJ`Bor.B3b > me+RNe֌^!L$25JY`V ܙޏT Vi[Ÿs{3M_07=vuCӥBB>s# ]KRdԥ3[*N߰y,H.•UXE:< ձhܧa<Iϟr!O4"<:'O!xS FX|'E'o$4Z t{Z9^@Ry1 : &oLM [S&VUW.+φ[%jtABQ\xo ]p K 01&_!<*r6&J R0eg4w;vp2F*TWެi0Svd^@SxiD1Gsn[r1d8ժWH} p悕e~k"5ĵ'ӶZ"Y)yvc;YD3iQ6CH KjkX6(}Տ]*Jui#aTe\86Iaj`W55,VC{ !w(ȉy䦅iLo3r#hxW\˝. jDKfUGQ l3nFy 3B#j>(ϭTEUh&ӕE~W \;GD7 AU4i[nR]ͰVx`v`Z}M@ <p/;0)SAh@?Yj J4;nMmBյji`\ꎜѹvӍ:W{6UZٻ?2M?Ln"d.j\ g 34?ŏ|14Z)ݵWNnbX)8n†^Ax65r#-+b뒹5=U~ŃrkSObQ8J $3G,`>[X'3BFdlav)mtUezp݂`}Y0?!+I4g.!\ACKzyQ2Cn@h#LnȄ