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 1 LD ] HOL-Imperative_HOL:threads=6elapsed=43.412cpu=62.504gc=1.908factor=1.447zXZִF! /]ŗXf1-q恈1$1|-~yߢ" w7Eh % .pICgf]7l447}=!^OZv4TRGrEkNطw36\ $Gs;_7`,u˶0ÇYMɡ ɠL uQri$y 4yUߝ/eӒmÖSϧe$Ӎ/@Jo9:$21䀙MIj^Zeux3/7/x= {蛌ӲK%b; 1 HOL-Imperative_HOLEK:ք pR=CXHO 8Ԏ~",qݵՠ@PObj~qaZb, kV7zC3cvE{YCP0LNODqԬ8j8kgѨ2x7 8i~t&;іɄDg+_N/S R5>똁<dwc߸V;|Vy;?&dڱ0^{bi䫱[iz)g^SgH#-NEf)BY|&#&7W^K#,vV*K}L,M)YAQ"~ dn;U(.w{v~]^E%[vcjLԩI gƪ~ ?]C ‹Dgϑj{Gl7jj-]]H.͒ӰZċ+bCS{J"80Ҽ9虄iVP/tuGPan;j7`aO"vo;+?{oLwZOFgx2z8)+95-,44xnmoOen}SB|i-ER: АR}() \[T.:!R=d&c#B${iY% u;iߘݞUo(foŸEqPI1r?gBu; "M(.AZ8#G{z܄^/J,:O5|-# .ɪ=n7T WM9Pk"7&o'oZg߰AHg^CY3=?kyS; ^gYZ7zXZִF! B]ŗXiɟ1nhЦx"n_8N]( eOtd;Lj6 %|F50 DOwJ^c"D\Tbav6! D/4jH>̂* 3e@s] d9ћwEr)Jzfd|DhBegA8r IF;UNي&xw*;0 N_t:Wc zT]Zq-74 6D-۠]ÉtLΡ#YB+yNW1PE|Zn'ICS&xn GgYZ7zXZִF! j]ŗXi%;RŧK&2aHmqrG d.Qt*'b`*zB@w-Zc4~Iѫ4ѵdIs- =~,tK*F=)d-X@ a{QS~.gYVl`3y>d޵#7+WS/rl8,%2 |;"ҺbbMY !T7"M jf]FyUVޞa͖Yګ/#+ǟ{-L?t6t+XpyK J*NMHa~׺n^Y~m,R}jD?pS[̂GFH6w7GSM/'&tZ0C!\.OeŅGe!$š 1DAoFH`!i`FF, sG061XA+-hVs.dyw=[40)B{6EaWX gˑ ~ږRs߮42p}Ȧ|}Ͽ4N_N}) EAM~p5r@i#7@K8^^4V` ff4\=Ҡ /Wj~߫>_f7_k,csgvNRH ~f[B-T;([Ed+`ڽ @.+Z\ŧ?BI4ڢwTGK+|\ڎz06@0G$!l^[ Gw3i Tj'E(& 6008!=2069V* nV}VepV.IA,e\_CD$4r抈9uu%Zuo&ieZ."7ViEkݎb_bI 8B [Ґe{Ԅ ZX\P*TCq-wm)Bri~?u0(Jf{ DZH&XV>}?Vy绌+JC#1/&ZEdH> %\؉<4a!'ʈj= 2eD(r"LN6Eg:K 'ȤGyufJ-HU!*0EP+0(/ 5FyU+6$e"4QK T; ZmcEE剀1&:ˇFx|L\ ="g9WM: O?ĶֳpPm [◧VCoobm'P] )Hu{U6Wqivݎee8Y8)Y⓸9( fbAxKPU j| 8K)eϔKc 3c kM7o[jq cZ+9ioG/Wjv7H\ʑb ³ j;=ϰ=9Y"6&#7hF=Vrf]_@&%0v&rt`9LZlNx|MJ{i7%iʫ.f>[>~Qw⒔0ֳ0oZ]8 `\Y2WWQ  >@u-1Jk^'9< =/ +˴Aԙ8|z^: [9씑d6IpRIy\Z$MMԛS d /ȑLM> sz.r1# Y}?3wɶ`D<{}!I滢W/ZpD `#_V2}.SBH65n/2*8 p X#Rߊ?OgYZ9ea7a7ac75fccdb0cc005a130f202636ca3ee7347f04395e2748c59f6729885b2c3159d0fab3f184 dd2049562f011295a8aa6e1a77427cd05cf11b85 7706dffff9d7b1d162e5ba46a21b64062a52b100