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 m?D ] Ordered_Resolution_Prover:threads=2elapsed=56.547cpu=101.992gc=7.448factor=1.807zXZִF! K>[]ŗXf1-/6vRZyѺbO$°xYGݑ@-I6fm s\Sq*h߳. $,M}(Nz#)p5]s" 39{}/^v یp},g)`!lpxdn*D-+ f1x|8Oi3Jn9umYVl;Y&,_='UT)*mpp3 )n]γЭrnB(30hEa6! vh+ДMcQܲ@E=Mm\;1j?~forpT$_Kn &SOQiMtN݁b nP|¥ϕYKj$OSeO +}g.i6dx ]iguŒkꘄ:X9QקwiK/3)|=s@42k$m`4ѝ p9|XcLG$.MTVS&_Q_6GձSe|q7TPzm>h3[ۀἴ0j zbѡc" o▸Q aY?ŕԗb ޳RhCUF侬iCJ8ƹ6jCs7bXWE8P6Jx9Ux JXMju@QhhR51 1ZK l,I\ގNZ>@t߫-F E P8lD$/ͫřwV)W#z#ipNaߕ/hQwn˗Jǫ;OTG(y2wj>/fd!sbo" (D rH.uW?/"⴫G{ +-8&DC@p6vFT"hn4[@U=pl*CHUQ9563gB8L v~)LC +'/tC| I [C9H.DqYzU[dk>`);Z whoΐ&Pv(ڑ F52F y 3 DO0bw*fX`q/XnZ QQ.ovy7c!~F}qb=6ixBIOAU_O?(g0˒߉.~6.]'G|/n$$W  MҾ(W!(}:IߘwUZ|Ŀ~Sws+. xQiz |. Z[|i+i.g=C-_0pt\We3FttMS|aȣ*& c)m EdB<~!)ѿA%+0ʧU=Z+) (m.F!l'aӈz7  XrtqqHagI\+zFI/(2'"S1if=n;&VD gYZ7zXZִF! Z]ŗXiɟđ`Z?Mji^RbF#eԣɉn?ƣթ,J1#(Ֆ_=NPa޸8-XJ<;sC/ĥԡ9f/.GڀWu$͵Xjmvm|rUBSx8DϙN{ yMwMIug}k:w뗆]-0'JH)gPQoX 3 xi7k-F'UÔ:y 1V@}Ȼ488N @|͉ ? Ordered_Resolution_ProveroǑ9 B]OfokNM &7ܲ!@W;.Iz,@%mK DTc \P!2J1&΅ q"rkPm.[ql~bE u+# unA{g'm @,ߌ:MۣaZYdEL((b{8z_S bXy @OSEc#r|#jo>:RJWI5>mq6c%|YO Jafގ$út!_qSܒƜH÷e荒[n\sw`gMByBFD4n\(_NO\ =CS I6o0?EeRd,5>B1]m+9ϙһ8I}-sQ2dIt]b s97:eE/ȾRhVf!ZMtfm?I njB&D?b3t0TěNW53YuT{Vw'QH+AzEY) Rԏw(RS3yjVc)F35*. {m܂:1)!5ӐjSb\h$~4!TE%"Sq9MYۻ;z h[kًIw}ȃ7]}Zv&,{:ߒ&M%>,W@x̹E9dZ󤠂/9iSYǜryd(W(ꨗ,F: Y{|EK.Ӊ֡1fFfAkxxo=U,3=xCK* ok5]Bf3KWEaߟqtKmr-Hh+J^}ʬ6U\GcɚrGQ#t~cw@ X M:XN0HXLAFt!] <y.K`^hQ>ꪾq[ݏX5:યםk×Qi'~j#$Q"1Bg2_"m /M HKxw~PI>B@à<&hֵ%zL|pojנ'mQe+rp} z k_H4 Le}Uiqk=HڿW+|UHe֒kKVɅal[(9B6ߛ?!._,ZʱU}lv}qU 0&\]u3oWhoQ x( eOۆ]\YZhP6SKue@Z *dIPpY^ߙk/ Ȁߗ=x $kD*`- e:ᔅb)w)qpwY4J{;-* ϕ;tΏmvVjg؅/r_"BC.a$1*}L܄]^m-?m ݿP)'I.NB5Wiᾦ ykRX0Ne`C\oʼӾ/? 6[Ler+zIi9j;4}/h~:erJ~hA8{܂zI@S3˾9\I 2/Getvvܹ⣼*rfkW@iz76Ӯ+3~Y %<|=g>O@Q{|uA|#u#ڎ<;f/.9!e3mY?WqU`pޫ/hr߻1xMz/wNh]5' 0͘턕#oA`;t.EI;=> E}tI=|d\Bqc<cn|ԁ<፳"tȦ; V7}(