SQLite format 3@ - llB77#tableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "ml_statistics" BLOB, "task_statistics" 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 ^^c=L / Incredible_Proof_Machine:threads=2elapsed=68.143cpu=130.148gc=7.248factor=1.917zXZִF! !]ŗXf1-q恈͐7ӺV w;GOy:Cir8% NVhE|wK]az"kx7GDZV9ɓ+9n&`=μ?d7*lL<7 `?L5h78P;Jj_@(&1{n"~l-e)P!|- W_أ*L{oM[R + Jҷ= ,{q`6[V";;K2F,F?:K߸8VP(u7$L{۔s:~},NyS3WQءhPnԇ~K _|dz(^̇aa!XiT`"[.-SD]\U5#mҊQ; P ;7nPC$qA -eJS˄h)]F`,2ELv=π 7aGMC57k0M{At:μ飒R{Dc$3tVt = Incredible_Proof_Machine<6DJP6cHB#K1+0գ4c/zo@ҦJtCy|a믦"oc훟`Ыש\łۜ+Ck=cV[ ~v eu=nX\*MZ?LI&-8y[gIl,dơ@!"P>Edu5V' Ӆ H~`pkΓYjL*)KDav6߲^d7!9]Y>dvJ`"/é,Mq-R9v MC~)0K fGE -݀Rb}Fr'I0 "9#; 慓{镨sskL"7pɡ@PF/ڛ N{⃰KG{TItkvY~ԐN7KJ;_QM<Ѐv0K5 #rTnD4>NS;<"򲾺\֑-c'yA{ TĞXŀ,|O@@U3ս{U45oTVs%&AJ~>Nk*P1PShXш>ͅjl?dV':@!Nqf2 ?ΟWgilwc7/%f-OVeNѠP:VK<8NMgeD[-2%tc%d["'цJLJzQ)8,kW*/hcRq-2so VF{T!)ʜ7p%A}liCqV<-m*,;߃ɾ)쳿9C3͇E~Z Z>Lh _6)F͎t^LJ>K18iRrywdE, +-jwE59HFe \^"s \6V0ԈbEm}adC7N R=mQ_uepiM OP፰TVJP/\z)x3ݐuo%M0K"O^Ihkر%?rR , X 2Gl\N9P $2Íӻ-H0֟P:lѡnɇMN2JfĴn/K]u`J@`+VsQ40z>.wcƈA}vM6YT oqMޯ)(Ǿ9,QeqRwC@Gs ~`]e.jH:?m$ ͵ 8 %/eBx ^&R#:zhXlI&έ.$([G'@1cA+pٔ_};PŖv&MY9x t*vW 8g&Z_gnOKj<`˳ 7s^}KG$umx.%@D12HT#A8GM삻v gt 'ž]i}9EZa c\4 Btr {OoO<ڃ,E;{!.ǹ.[) [T)tI4<ͫj)x+m/ߘd~,m+;zQ!5 %ٵcm8{VQ yD 02Be]_Ҕj{dTk@@A)ҐB-/O h 0,Ʈe9O6)I :NE^`!2*gthFzsqahi9&`k8&*U >Gk,G.}i'ys>3Ȑ $3_dGC(Mc?\;f :M 7*n"o T~#92ܱI0:Ĉ}MGߟiN]`0S6Md(եQLË)/JÁZrq䴋{?PIQW}R&qx?/b\`9*\~"WUϦ1 k3LR{o@(㾧0~M[bǀ9Q;0AaOq"yAwx듕6R`A$4ŤsLŹ3hDaAx(LI>y!S}FkR}Y')G\ѩMyLwv4o#gychٖF[%f UX*\<?u=l]S*uOgZ InD-Z\U\Aftą2!Tg\F9e9p ;$ 9х]{-}w3N%6o~ݗw%f|ypa6j[߱NFŇ\v`o|8F$r0עTbf71%şc K>J q .$Uɒ`PrG-UEH.2#šO-Gz .7L*k_F(, EL Kj\+j Cԟ kw\0נ+B֑ejpR8,+^4ڹ]D"X8+NK"#|J L7=:UY\T+uv- |p]aQFL@%Rb۞74_a`GWܷ 55Ҽ9Ul=5@杣hL0.ez2[9g^ aQxeLCÕ~>**EV7OJp3+<ףmHfA`rjhHxwLb`kOS6N-nfntD^f$[ HvJ)$fJd[ߜQYP|G rop ʖMY7j_oBkx 1X >Pq$jH84IG#C ^ ϻ>T-hib/xy2߲G_C_fu3BW5&tHFBV\̄+ +7WFI*3 *dyv5? Es[..;4 6^?0:Qn4PUXrw@EܞO"zo{7h.ﶚvYwr8+4L4)f MZx%j\UU551^* 3 &'KC l ҳv?7+f{sw<<{H=DpWn p:Fjv|R(MO"ˉYVTyvzl0H4^Ѝ@d_|7ֻ*&#PA|8GYM2 H`m-(xޮ[RN>)[߯! YBV3r0o!ۧ 9%0l]4P^eq 6W8+ g+`CXȪ*4q WgO2W%+y wq@L**w[砘ccQ x]+Kaі^'J㲉k79i*j$4SL LB=c^.Q^C5Q:0~rR+.y-@"ueC{eYb|d/bV}RnHv cevVb"5)BٝڀP%~던T׆oX9E(*zA6  OFl@xkQppxTk铛~)H?ckB_Er\b\5wO[@ ? l="0-]˪ ANecrG5}M#^vTjS e*kzsO.$wL #;K|ymr =֟,NS:49*~~>KFf[,IuDkws|Kga-C515=0HN7Ӝ1k*;@б;,h3QӬ؄ju*`ҀJZOѢ'h 'QZ@ƀPՖ޺fAN Հkn0E[+J0`7)R@qٻ+JZ01ͽVgV* (DGT!JĘtyvm\'0"|0:Dȇzku۪e4HTk}4)ɭ1ƳyEY z9/d#I!>"7WK}L((#פ/lsѼCinq`nHdmĜ%TI߁b'q܄x9 +]m1|to{> T5ёpZ<Ķ:fkhanee;CU'J.&fiܓD0G?5 45lVn@ۻRP@<7,՘9-TZ%KH\#ŹrU:r3!7kp]/SDgěue偔&x\\pU>W#y CT&Y^ٵdBUD N@O@=R}3KV&-+-~iжl`A(0_laX_y .<4gtɞ6?t2 %TѨY%1ociMGFD]H!M=,a__$pкSO. eBTCGuLvid1,(JQda<}n7aC}%L2tMf^w'oqN&+eM}fA۽ h- F1kHZ2]O­)̷{؉RUr]yR_B#J]3/NNͤ m'+芢*IF&uȢf8<8W'ZΦnWvgރ#6yܩ?n*e{M!aJxmX[WeT2:W#}DK!έzt9Hip*L4\ :SM Cy˛ PlVzHum =D!J7US#|+Db0nˬ(۰<˧,D`8 e`eejBտ_W},@s#Ӓ9九βXy :۔:W] ;;wձ8AMiKtc#`g K#~I!dҚ%D`S$dd9u #&y ʡtSr+|쥌)4l,-j }^W~حaegݗYP/~Lxd((6(eYbu"哌WUΛy1m% kTh`A:Tyvk 4v5RV/q{fls,%m\,/qPSpGaw֙1z=x>H@4K{To8&_ wEcB?7¯|6k#$PSwC!*8|~ }_EO=iVcU-#duVzYѐ]*`֪􏂝֦2O6._LćQv{B35^k&JwTfи.X5T!rvZ oPmXf*(EQRytԁeYv?e6\}]B Ɵ@Ԡg̢8Zp&uK`|\\&9* wTR`K+11'c#w6 8F!@;Q|`BKgYZ7zXZִF! C]ŗXi%m[ʎs]9+^IQKCFδXQ\ '9ͭێʷ>`Kkn$7:6|bĥiqkacfqOI?7 K۝dOp}]otk`TQMD ]JO3W%";΃=œXQRDdv1)a;5JU((U5٘ n3 VY ,x `ȵ|EVj}c_&nHQMS[0?[.=Ů(z^'/ zE8s؊03@2=3_ƣ 5\ت :i;OU͆f"ux]!} 2w&Fpls{p ٦ຖUFv_,Q#}wtkDW'D9%{Kjצ8JvQmO=!#:}! R]k!=>K`\~jt>pֳ8;#:8ҁBrՏHݰ oo:)*\ C<dhX30t>}"Xebq .4 0o©{eneGMp"=bdٻ:!o[ʶ䮯PO Sb:_DWM.L ,BיqQ0G߷.QBH:3*YJ^>/sqE-LGtDpU33 FˉKB~JkrCjo#ߟfg)7..Pʣ2jJdh qe{E?|U/txe 9LNϑ.g'S=i+X/l+rM?BbM-2edX=ud]j@*vS(A-I\ȩ< @Mt-JrE+f [GDKuZ݂ DuWk>seݑ$aH-DIϠ<ƝڱeTGZAGa,@h<JHۼI7Q)uMOFϯ,K$Pf5iSnhriO?l 1+]SMtNZD$PU7 |/7@:SP*H":jZDvY|zi|N|:5 |%io^+WKD6& Wo. nX|S!}q|/ fOk 8`l8b 2Ezn|zw²q=UNbxe ~d8RG otW%<{+DBRKQe.p+E i)v"ROFjOvϰY {GQm_\U3g]5DʛU'NmGkQBۻՎ3Gs{]bT,M:1les)4If@uo8L-,M; K>iU1Q['GqnW_ՄӸʴ*2̬!q*Q﻾V̕kWbBN .L{رӔIƲ"'!(rhW6Eޔ'̚ l5}}*sz÷SYoV8My825 6fGk`#;XY ؟q`17DKà LJ(H0K"d'Ё&G=5@`, rkJ<~ iU~i+# mJr\My~^ g/rzJS-w=fj}eu=67 [aseZ\\e :Ձd6ρO2!x @mUF +0(U- >kG8+u·|'qG1ka+bӳ )8K ;b$?Z7hX(c8iˉ PhvG8eºt_H ϦJ2RWuN1L.}mmb%m U1Ti4/خt#:<Ǘ tHayHހJO(R78;+e*y9c?QT~͔Wd j%u]c4ɔ&T#Lz٤jEhShP}z~oP1il0[106o(kU\*V6K2+v; L+UСB61XzTejFPy7z|i Ӗ G儼ݟVg |fZ.*<'~i_yD><3QliYY{t Z)lѫ+p H Ug b|2