SQLite format 3@ .  YYQ77Atableisabelle_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, "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   q) Dt O]Kleene_Algebra:threads=2elapsed=53.928cpu=89.556gc=4.280factor=1.667zXZִF! @]ŗXf1-/6vRZcm#kƣOw|ё ̮/`R׳(xv?[U~\Y/-b4ϗf?% n \w+.;RY3{9#;~abG}Bp;Z H"CP^L8؄I>k2-FM?1Nw PɏXHUh Ղ%EM}#OG{:u>_lc䱆߫9F ] 쓨WU[< rtA"[C0c_Ҙd]B&rVS{g]rrx+z ׫YFM eu2N;E.k/$vS=x'% giQ` O~ƾoLIh6H] ̄WcIugZ/.3p+M"Au xUƛ[Ro_JJ 2h}6#p/}"~>boN`KSM?t 8lEhF×cw,r✵Bxk&j#<#5V:58"c_np澛fm>N䥙|οBB7_9G?pl7pİ7~fmw;3Fsm9Ś._4i+nd #<"IvX-pYw f1Dh 5/B'P= +>*ᰥ59jc FvA+MN[k/h\/߇y i㊞Wy$(:ƥ|Ŋ,z6OiB;d߱~v|3bZAmPtA\ٚBp{ $F/$]>2O'lt2FyuXKu?MǕ[Q3mc+[ g4p})i{ d {>4J}cn/6oyZ *E_xuXB?sIOT8Y,e2&$bbFٛ C?#!NWgZuuB;4m8"h ]3X4IRY.}9RYIyk0tAH% BxIH4ɰ?7ZĪr>'_GoH5m%ůES:Ðm ,}V(|~ gBtIC{<wj_$Ejzl/z Bv,I "li6pC+qvţY\uDv?6..z0yaeqaNc(\̎>#y5tܶȰ+Q7m[}\`ѝEt4X F42OpLGpKFڊ*,Dg2f}Pds?L^O& v>\ivfYbC5UǡάC'BbbUg &fFwix*i<łeSlra?%?*Ja8} `>-;h)#f狠r}Xͥ+h%x%l$\=:.t柺~ ]bu탐f6G)3@~ޱ(lQbn}-.RIh1nm x '\q/9l)~dRcQEu@Q{KLqwR* {'-1dPr&d x`!fIk. 2ݞh =' u TsH͙qyh 9%=cj'@sMeHlV 5"=ómrIɣ<߭`(M#hX*o*}.=`A1uKKTT/1nwvXJk 7_ҹa)M%$~#~i6|i7C2?8VqTC\lDӤ@OL 2>vsE6CY]d]df[VpOWdxIYE#yk1W+[瑂Kݵ2 fS#S4gdLLfca'oB,YU nc{a44C/L#E(sէ0lF2%UAG!>:IdjD;un'4|` tdUhPwC?c\kQD# W 6T6AdJ(]$BZ'/mYq$3v,)0֩i[pauܧ+= R 5#S#5 (ߎ'{'S>Ϙ{?KOdZ3P&Q.ĭ-}wuI^6|W ܖ7a2IΆ ~hƸwa.v!`9ո9_&~ؐ.67_3 .?uY!7e~u}-SN46 8i97$=~4 ~˦?0`Wr?~1K.0N"ᛧFASJ䘸e<Ĵ5,|I@-\u|mwEfp ܄sdXg{Yxh%ָIºiFy=@2 B5cbމCTLo@qZ@(x9'`[ỿ6U,~ut4uEw ]^H>;1 CgOC@DT@֥Zߩ nO`~vRRQ\m"@d_T9qX,v\ pRE|Rb3\/PiуPpKS+ $҅ZNA9}1NꚚ8hb`!s_¢hy.%Zgl[âFf2)婌{F%CxE?hfv%y7+k9*2l‚ͳ%]Cye`\Z:[ ]{"I5P'Mbs7nP{LS.̕>ZVE#8)>tŝޝ?JMňeCޏ|Q-A9r"aW{vIn^7n ?:А_0߉@q(ru\P?|.yɾp/},mZmw^"a:tI}+T|cL $W>v>" kJ>kH#[RX>ɶxa͖ꄵ qspJ>坳ξ&}=a2gk B$)WnFu]QQ>6YI{߯R(F^%e8XڸˌP8X1B q@ZBùH񧈶Kő2>YAP2q>͌tP8~ֿdpS^M3g~y}*%f4}H?~كP|Ъʛ89'<5#5Lir}5wQ(SgD% j+$̰0-IƯѻO/2Zp\ \]=>&I^wP}k~ՇУА xrx':沒\EV2v#;H|hQP4d"&sElr9ѷ!"7z1E)Je&\+2ʳ:@,Q, .p0/|4E 0IQ݈)1$rn9B|J+]bY)~{=jj0mkQlRxR1}Qᑇ? DBC<ٳEn6BN*2=x\)Du>fΨBt7eb+U[zH?j)#hݨ?\>XFk7ClËc*xOel#Q# dap0LA EoId#;YlͶ|iz1֪tm8I9>ArIɚRRD<oRr@~BЫI _}w:&C):y]#=9Gf B*t9 9GE6gfI7uQAj"al9-t7sZݏ4"cub7_E1X9ҦGMǵU)r$S892D*%*(VvDYЄ&|δ؝&($7XHanbų_! jJHbpc6.=Bw٭0Zh_aj5pRK) ߊ^}3fp#\>SYNSF?xɂ;~Da[  ف\~=, O fpw A\s/t*߱mqOIBtskO"ni)qʐd=8: ѥmFFJ.nMjgYZ0fa087ce214c5e05cd7f5a4a0e7fe2367a406222 3b58d39d4a543179e542eaf16ad3e167c64ac5ab 3f2e524db02d38ddaa7716509b9b60091324e69b 3f4d3110988b4016ade5621622b4f454b6e45976 6336c14be5559c86dbb6ee2dcee1c82c9e10d1bf 65102202305cb25ffc3eed9deee8f87d1e70978d 66f83d671014d369c83f6acd3bd48708ec20f2de 68d6a2f833ce7c69e1c463c4b64747340f37398f 77e07cf9939e92a3b870a41858e48a1dd11f67b4 8fa267177ee89a0390ee736df2332b137b347402 a74c0ce085be073068ff778380acaf69d62d799d acaf4e3eda1cf3a06e9db623f8d290143d038cca ada87a3c192f25c0f3378430405307d589ab2919 b2f38bc333d08f737b915aa71148f5315e7527c2 b870fde2f090094400684f09c8f670bd3ee0584f d5700083070016081d8bcf0efb4a4d3e5ee5825b da90d2248626bcab0abb5398afbd17e2a4c62a61 ed3bd98045c61bccb9e7ac4e721b5bc90163ebde735820fbde580c794b275d3f360e30a6d8376dcb f7c5cec25e7da1e133019a5ddbca98ad9c7924aa dedb1fb2ce17009850c27ae6db421c37e92db7eaa1d76d720c8136f35b3efc377670a0c392bc1a38