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 VVD ] HOL-Bali:threads=6elapsed=70.346cpu=231.272gc=10.260factor=3.297zXZִF! MW]ŗXf1-q恈73w@9!Ӳ) Fz_nU|!i"JYre@KWo WxP A[~pPE! ًx5PpKUۅʳͦyAKiH!ĸ*`~’yh]ST23ZV&2w95&)! ~ST&F$ݛD~+׺4򑐘ԨBh\~P}<o巈x?p:x:8m/_W 'EqK;3u,VFl^ S 1 @Ebb)XB^"N-(h#;&Π}t8l=i1%Nk+e Qh)z$'=EmEvaؓW65 =k%sy ʦ +~7fƳnb 17=[?5͟O\/X3#bD.L2x$4S-<#EBFCEA*J9s= 9d 5*9j7n`\:8&X#oْMuc1j8.͋-E)VyOV " nG5 B*gZLmZ~unbr[[;f!wHC+r.O,(y@Tw,Xֽ$W ,!a t LKBz4 +65"U9=]gٯC4G<ސ\bPMgy)Gꍨ؀uX{g䰟zFyͅˑ#Y.i0PkU AD3F@ǰ7*!O ši\>y%q0tFlKW{7{d`޵%2ʇ$ FY 6q)r(؁7@cVc79a9U6T-sO>!|x0z } 5 _FB fC_ܽ&5Ak=V}suر."Pja&HqQGk['" <G"boJ [[RGٛꂣl)d?diS᜶H!HbP1? d94ӻa-169wd 3{;s(y( TF2?]~]HEÛ:k1ߒt-t#|YԖ.!oN>VhH ,cQZ!ʑ rjɬɩM;Rj"oi]Qy bJh^G1u' 9N)mgb9|j@UND3 :Lee>fֻ}Z6m]TCSZb* dyn3 +OsD(zK&sCq,o?([q6Ն232-*p0/AYOrUίQȥ=XlT/[}^Cs%Rc/%h%YM̋48!>,f5YsXpDXSvVAF ^ lEޤB) ѹ6ܸ%w2#wȔ9bUKF2!9wqqȓ oaLT]r⥌I}p{QXvOE4 n";F\.UA&aJC+ Qyb7z?A1ݻh7X1w^3yf p >蟙lVlGJʱFM Ȑ0?Dx&V\LϺJ $'|:{sgQ{4 NSWZh`:@JewIy>/+^‹|bhXKԾk|ZG@g*t==lJNdT_.#*!^)ГG&Zsׇe8\VS/)8pCIzEn]|r,,<9?54l;3bQz+z%lYH9@'M*Hx慂 7(0 *JцYD7CW#eLX=#[uޖ10M'~H^Yةԑ0{5H Pyпk1l,ǫnP Dʳls)˞tXu<iCZ1Z`t(ۣng=?y]OVݭM5pc]/4a%?*>fje]o!aTxL PlӷF |]PL͂d:jՏR`TSiR=P'tQD-d6nL޺?dr3.m7ǂ [߀AsW3Ւ*1_-2*j0ώy‹vcvWdXؤoi'xr-./^ U3Vy~vGϮ:w5bssŪM/0]RnrnǦemfiO=YhYZy!v=qp,]utJW|ʴ d8Y*sxS0]3-o[x{G& uKbUyL^Ei,' "vVGy+Rzah%A1g[D+jvΜ>Ӫ_kf9ROnV =J0p!^i.NKma1ϊ%R$((^^4]źra#<˴,X%S)ߑ>_ â Te9Pۥ(>Rk4wӈT*R:?KH.<~sIؔHuD8ei*M0,wMmnaJhNi745&%`:bLܔg\4T| 5߅xel0Iw5ILQ|Ƈ1=$00. ҭ){[8L+9RW0\1w G\rVii<ْZ+Q]1$0RþPj׵M,mvI}GַiEeCI4'+j-?KĜ?8x;MIphzlx%ZǢcWs%,iaXGmN }Y}ͨQPUl+oyvjcYh)q8: aO묤+CK3K/wr/w[=!@xk5p>| }5/{'4zܿHzF@oKݪiqve_Cƛ4T0qk}1|Cq@!ɾvfZF nQeWdD(¸Co0E="N~?M H5|TI~l j鵼W)\2ӲgxyJҟ%[]ށ6r*꟫_7TVbZszw%jtU0fK9a!SύNg{!dLª_:ZBO:xt]%pHqČs@F!&RJr5t1oG,"jaw sr>k׸bhi)%^e~\pb#DZ٠ϸv2QtCE}a8ӢzQėpԲf˿G>zk{C;2}~` ;n .Si{ͽG@1X8q|܉pÑ$+X%@no=v\I1,t nJ0ʜNQ`!%Bg-ީ()\'!e I *L' swE\ ֕~ZΗ,4j߹ &xIgYZe36b47801e8364bb86249afb8c7ae584a237ac4e1bc35d9f5c260a07418d50e521d7d63c2a5eee08 ceb5af7e7710e56d8e11a352c6a6268c805bceaa 61286f221934408c604d798e58d2aec64645c74e