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  r r;d4, ]]Stone_Relation_Algebras:threads=2elapsed=64.017cpu=112.144gc=3.980factor=1.757zXZִF! ?+]ŗXf1-/6vR[]o:чR7C6Vc_ڸcOQ"fdt>4ǡoVď1FҟBd?ni&X_y7}od8M$IpmC./Na}۽҃e,SPxMcLJcB$( ~m-ܥu(19pt+q=wg!Y Pw&FTu%DiPHFYAw#'y+|@y&[H#|j@6 (#69@{x! @.1M˲4d{F'MJ Pt׽U!{zsƞ/)9ZWim5@*H*Ôp4 &,N+o2`Rg)K&LWvw)R!N;*/tJ-` KN_ MӥKhKN]eS8RN2cX!f8m?5_m*}Y #8@79d0.r8Ba b+!do$ AC[VL8OO4#$ATSa@1yn0JDkV `:|npԃ[Y J}kǤpèőW k ~[RO|nS0Z`"Y2L~Qz{[qe տ̽9x4G9Τ9ѧ8BCQd2n:.ŧ˙Q[1W̟:7˽1.18ZV(;=С`B0:i=o5m5撽t蘃F9T<B3\QN l YgYZ7zXZִF! 5]ŗXiɟ3:WX2V^M '7xwB.]Y1(Z)xfAP?nOE2׫:IW:Mc 9%0.f^rDŎ,ap]&@m=Ir3J ; Stone_Relation_Algebras0:1J@ź+sV /|HPlI)ŽT$xlC[1I} R75i>BCVLkgYZ7zXZִF! ;]ŗXi%92%rs +2$r(Ѳp,R;<>iV;(WR^DB,_$wfRe-Y\8DQGY_qO?8d7w1/ H+^9`[b>& Y+xjup*v|$Pd5f85<,ɽ1"׬q{m CޤA0scPYkMAF7J6Bq>Mi˾ ^%<aOL4΍uCA*3tn/+[ N穄G}w{gۅ`Rkv`EO{ j S}Džrz% jU0A_|gnTDsȻAҵOO8gSYtd(+4;xvd <:7 Bi%@Vr)tvsGSYXcw,ѯ)ņC)q{?`;QF3h z"[iGU"{}V!ʊ&xHjp$e>97 SYkyfoOS;Xv @ʎjbJ2܁h}Rf ƃǠag$r)d"A}Vb2*^0_fR!6})xҨV-^ᲒMe5Vْ͕_tZ! 8܅d_F;^Gp jpW Gp0vm3TÙ.R,E=54?[_~{U g;cJ6I"(PLZ=[ u!Z_ptc^O`mҁiI ׮r ឌy EzzAvNbN`/%a~䩋54R'z8 A3Ɂr|›4=jz2pWVߵfIkNK˻rlBQG1+$#?MZ|;^*8MɺS|Ooȋ-髅>xbM7T?)҂=},LHOI" (^R<7qEa對܈>WyfĨfE߷>S|n7km=촮UyHy5R ӜT6 7.-,zM׌P)T^={y2N] bw.Eݲd)eOS@SLpr!/~uҝ)B$|V2>yKJf~qa@d;M~ K5]:sf0OJ571Ƿn"ʸ XG0~w'p(*w[D*f ⊸ZP.v\F0(Su@$gGhar)fHD GERȔs#yxi7~~Onf.sw45ǥrMJ ιܖuG lJ☕cEa%2!Lg4kc_wյٓgR:>½5Ll]Q6*oT 0HסnO:z ]ꢓ9oylgz8a&w~\oh7,4Խ#fkG p 貃d3ڨu#BȗEo*g7F[h}j*a\,~׾p'o#J뢩rEm8YAA{pKvS:@U`S2<@EUЧ $ P%*~ZQo|AoUͤB#{F%z8R,{gךּP4?`)(tM${M0l_-m*휦 МcQh*(6wUPd2J}fڀ$}C =ɱx4Ipv[oǓ H5>-R+#}?Yi9!Cb^HMYџd&t@|E[ىWE8VLcloK)\{͞aο~u,wHiE^TQ!%N g`' :UC)$В|' "2&*LRm,[]ﮜwH<3.vIItX]rKx8;耢"Z7 ^+dB`wxHHHlo(J)9up;Qn7h f]r.ޚ)\),i$t,U01\ 2BaW2xsgM*Lfh ,JFm$PE BkYp泟 Po`\KIψEYm;;v&ϲRH%?W8sH%<RƯ2k)` N HŨVoν2g8/U:ɛ'J,D΄HdAa^"bK]ZE927h9tYHo~qLoi`jA5R1 CcKNeA} F dhr>Uz0ō6]>3K*X|-P!(1jYZ7 "Y?z|_J/`dI x?{o'O\}Tx'sipQ).I8GɥW{O+w\>.b?3ˍR [12rT!ӵVUTe!pA5"0Q& zආlPh;c hm6*9؛NYQK ̍Gbs#sX??{oJ훨^k-`D:B71;yScO@A!hnNFd)-fOqe&gSl2v&m#{Ө|:Ьg]8z>@ d Fs)+nSƟfi11$3.RlH,Pf0Ѣ(68CSܨ/ Sl4D VXtWq.( ziVm W2x0 h$©ETlg14^sq;f$L砑>-ڵ mG8y~oy^9o:OV|5'gaG$[PВdu^AQvJEELAr1X* #et'Dl*ֲ2 GYsi_riLe6 j(TkX RC 8=OGde"djZ}x ~owv,veykz3A iFP]6-iUr.:7t>.× 4+_SDm3J*mZm@ݩom~i2ڹ="]i*hea}gYZ971ed757ef5254b2dd9bad4fde0195fc46cff6e20dc0541b39a07c11e5774461d9bd9c4bf977ffc8 70801ef29d848aa8eb383514e684c8076c0da75a 616aed85f00ca685cd1e09e5043221becd31aa4c3f7fa8be3cdd48176a3d2f8bbe123dc528b0b965