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  >5 DL ]/]Automatic_Refinement:threads=2elapsed=47.935cpu=85.308gc=3.816factor=1.787zXZִF! 3-[]ŗXf1-q恈NucvAݪ4 c?[ݍ#pdTMR^SptK~lt#l^ZS0j3~ Q%Y@g PbD'!$2`[߃Zvfi.L&u]x/'KV& leT/bF2 Fk*y9!eǤ-C0 $[8+>8m2ղl !cFet#Dꔊ;&kPb"ȕvBGrh B]xm݌v<07p#;rP.;4#i%wV$c1cv#,źXv'36ǭidgUeEEDiu\cXH j}N+x05+"{POv72~hh* QVaE1-{cDϺ+r j"D )j4ls~M[yg`5aAL00e%Nz6z lZ]qvweX" [Zff:xAݠxحk3cAwf@<㯵ӿ@))2TMFehWL%JBKg5|ٌ,C/Ԯ#{PJ\&;tP:3%nEX>cM}_v >AIDLE^.̋3@/lZT|-8.Yj{'JeupB[ԎV\d*9:^^390}z; Hr7'^nBZ3U"a^NY@A| ؂G}m."B#cOքFQ?[q¡$iHʒ.O-iȵDcPug_ƥܻhe7CDb %!=u,sPR#M`e~X(J6G>/]&P*]{'ؔNД &Z'x\%;Tax2 #qP)A oRI{"ɬ@U*],c-`ϭ)E,iVEf\qHU)z)g] 5 Automatic_Refinement rV2lSD DY޷&Ü/tDRvBF=?鬦C+]#X7SPul3A9C߉Taecnõo>ʙ?zXX*FFU;= lNFa,z)ˆk fy<`gYZ7zXZִF! P]ŗXiɟ*#; )zhWfLծYw zLDFճ9b䋎V/'Ln;:+&=&*DhrHsHV WT536ZT$VghJ@ˡ粏I?![!B[x􀘋 ԅ@'xsnoSrN@w.h%hTqh$0$8[JaX @ ={PqVᠨτ XE96 tI jP#T] 3 oa`-~|y1/^W2c"*Tã_ >tKFtT @Cds#Nu&9wLcu`  e*(WhD,#k|K(̏()+ٍQSGҩwK#9Sz1y%k[Y3J; ҽ4˞ı8kn''g +w[Ro5B/;L/ à L}gcZ%Y6oK$ WeJ9$[/kz;ymz_kUkHANwnY$xOЭ2KG}8x 8< $=$0UP$YԖ=a$0gYZ7zXZִF! <]ŗXi%92+N4Ÿ0G?JA_H|6APL4N;r[7ddT.?/=F탻iQ1*O*Ia[zl9/.dɜ>l`5♆Gt7u [bB/Ԟ͝d&Mݶ$؀jmߩZ<#r,w›=7XBDtQCDYlG%oN|M2ے|L 1לOvn햽nӄ籦?SV6 %k>YeJy5Y߈^|6&ţUW-Nguj -TS6VRRFYLC5:l2|>Aw,'!Cao<e!dbLpMp?PJ7p@míC\`2I=Gg..N7-['tTС;==:rI4$6Ձ'ɠ w/H)%j%*h4"!uE)(mл a:DXZ;xb7|3DT*wUyoG3rUb9 Z!u ->k.fZƖq6ޑmA1;V\>lF VzԽ%@LJ2߱GMq8RvN ^QL.Һtϳcv<@GzrNb ֕׬ $L A~. mEYf>&& y!'^Xd>D$nRho7@w<@EIkc*xΨD3'=!uqܙd僡a[6+'/'ը ҇jm beå/'յ 8=0#D;Ne_I 6]j_PLaO%WBRa.MEPeٽJ)jKufw!1lۊ5)Q^!x>OzGss M,x^v*1#'JaRG~ a$k?& E]=Q0t9;)Qؓe@/UɏXCg1JO`RV 75Y+ G7ZW;gV{~}7{CZyte$8&P`|噄ފM42蹝kv@ F[ٖ =QCxq4j?9淲EFi 2+pW=-}d1LRi5Wq(MXK=q_"tBlʹqBͽYwGEjfbYl!t在{@bNaԌ~$Ioui|{|Žy5,L