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  5D$d ]S SequentInvertibility:threads=2elapsed=53.776cpu=105.688gc=9.316factor=1.977zXZִF! ,Q]ŗXf1-/6vR[]]VN?tx^A0EoZ$!0\P6b k`Vj_)~(w6@Cb!Ov\w1Z\#6XuVi{B6)my[-m ]#ѭR+&n#-n6|37_3řAT5rqo_>|An/2l0A34C%枎pU'n%)WW|R W,wbyP6~Њ`@eFDcDb=]w~P@63+opf.k˗˯U2ԭnZO (Qh^10ӧǟrlZK#%ȍ+)a|=:2\a}Sj"K~В pδZUD!c{# PcM%軂X壚]h_[BKp; tV`05=W` I U^3xkԀXo^5Oԇu%BC:CB2KT@Zjhp\IG|籶D(4u`ܒcl`.=s*FP 5 SequentInvertibility WSv<8im1I(bEtX˲gYZ7zXZִF! ]ŗXiɟBܖ& 5 £}EAm+c.!;L1Β$9mN\3Zz/ڶÊq\X<-m-'i&k)rI& k2UU_Z@AwzirXFнaZE.z :6luNHUTqT `Əky$3tgYZ7zXZִF! b +]ŗXi%ή++2F??0mxϙ$c Fw-w<4-Ԍ_*'ֺ) LJAOTI~)b4]]+S +\ +m‹ w;o940$Gvcm8Jl.dxl7~;(7Wo)"սf Q~o;'+YʸhؖYC cLkU (a8m) $2LS@RhcήI)M[m}e$qYf/[Ϳjx$>h,GVħE~KɶKe]/>jgD2(+xl<&QaǔᎠ4%ƪ"7՗zh傺O+0NmN-[trqR06K(9 mR{j}?̼k6Ba 면O|Ku}Z;]@ pn.  }HfpaGa"t^Kq;X js[6xK%km}IҺ 8S: /\}zk,*-G$f-{zy$OB^PձW.:vENn ۷Rr4Z)ƾ5;[K60P+B!nPСʞenRPR)+Kd[Py֧APH'q@l=b/׿7=~oWBn⪏dVtag&{V9ŬDdFFmUp!:Q:ibGje-Q}̏'%Oɦb$8 ǎagC(={UzkLUTYH#v5ȫ+bJRR TߋjXR[vCD>aZIMInX#opHB'a )69s@WUT "bdF҇,BdYf[]RqS@ayƯ#eM̶BGFOLG64`NF8خd;aQ)CΟ۳wCghЂ_ĩ _283G#ȧz2|&Y%,w*mYݦ}61g%ڇ/094[Ɠ\͕W(?Gwae:M ;jxaf̐Q9a\1h0M3ښ=4zTjjQ/I˹f.x1fX * ƀ5~y-x^wC7s99ff/ݘUipGBC$_FOuݳYFqgEHԢÀK$e1ᮜ\ Ȉ Bɑ1]š <@,2fw ($[z88t4 qe /ô<p@ˉ1retͷgε'%s- ɼ22(+6&-ـWjaޑ7Zdh.DϡbN2 6AHn{.o,U@R"~_ˇѨ5kf"+ém|sV'xǮJvݠ6`79" a@9~&68uݞ@GOY5duht)<:wFW)H@C퇭&5Yف]* 43S|Y?µX9'ks |d _\Kb{ -<ߓ`H5N:gGÉ΄B:Ųk(L.Q0_ jn9 hWN<So뼯 qMg6*86fB%?)L'?/2 2f7$н?|8'N(PϹ8qH3guāq+G|!+Zp|z];,|X~K e6xwaNaYr>6n+P #v~0o˒$ "/!(ǭ"fa'h 7_N5e4/8O4Ծ/,}3IOĝNF hPf%%2v-bZuZ@E9yC'A RwxeQ&ϡYu8P&$b>߰|Q,`e:+Td7Ha>'=K,sx\( ,V&c(wmB; hD,WiL}6.٪Y^whSU/x]!& \BS$J'drZqtQts˽:p>T-%EV+oҖ6uɧ_tgy |B?iދԚ@ v5 akR ٨(-S),aJxڎ[վzKe 0SD@`qY5m:D.ߔw$K W)Ho*WwxɉPaJM*-+L6 f&`=r$S*@!p鮣8s3dld g"k|g{5aAye =