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 It< + HOL-Predicate_Compile_Examples:threads=6elapsed=46.461cpu=150.052gc=7.632factor=3.237zXZִF! x]ŗXf1-q恈"3UUMѺXQ55H&Rz5M:GI}tà }^f^IDwdU(o!X$K$Y-*~EN!RY V(甈ȋ=( +C=8A/.qq%/jJ]we `ʢtF녢eRv-F1O70;]dhaj;aԂ~൥Cq[6M./j5* Ղ˳^(I˾|k-IYi6v9NMrP28UW9pb>|g@43aSIWf<L4p%u|[ۑOUVbaq KHCv8E!>I G//J)ݲu4B"')F}Py>I:#SjHQ8{c Gcz^W i:={>iudcLĐ@!QU/-oxPc̪HcKFtZj93~eҹĪ0 k}`6v@Ybi}E="\ h$O!.*ff̗k6z|^яPV>XFѫwܒ';ܢl,2]B@ZN/m͞GT.$mhAkXc9JaJ_iŠRKt΅(MT_3i7qy! v׺j HMf-eɝ4ўdb5z颖ޛ7~/"_:n{M{օvɆRyv7%TuXZ{t닿<%;b7,`h m)7 94ZU&w;xUbe'TV&PpVcTg<{2g7[LU/^0U#n#SBf|Ozuy ȁc{\ MxՋB:)'Nχk,)fsҜl;w0J`oG$ۖ0d-i(c+Y,L=O" $:N#UόG/[3|FE}[W) چ;2dOƴǥ 8vsVxA$K-Wj𮜎sF:GglKup @X@\:U4*圂$ZI7PaiYcj1$s[ت&oRP0<)\-˹3_L_ʩWgn4js  !I HOL-Predicate_Compile_Examples=E#m@a.0 CG~&OҾ͛\5:L5n)@:L"3HV=+x.4mlsW0\#m6\W:瘜[B"8#Dy|Z>Q(;zm03 ;A_jXzB5`H++ OiKHF[FV[ u##ܪ-yzȀ"*de g7_$S8&dM,kBs2oXлo1ңb[8&FF&AwaF2ԗzyLdmhv+;lXjO??w`{6ws2$0; >*x R&EȟU4NCDzt(lRbX]rs*e0._tw#4qY䇯hjbxJ~$Մ$ e5?qj6;elj@k-bPTb"b7<*]Àѽf4RS恴 27a\ дjիͨې_%]m8FL:S\i X "T m{ksXmSPђn>!_va7 w Mn+:>fLp_ j,i1DEu"hĹl';/E! 024\ ZKKcG#r>,֯6f ζ;NT|™ڍj pJL@k#e T++-g;߮ʔq[WxtDg:)GvC۪9Cff>M?#ch?@yͧ} O}^"PvV ,)Ғ, w[(G_M >? >3JxLqLŗ+ѵŞww|i?):pu0P9ゞ&ؑgljaBXWבα]H1 9HF}!{ ȇo;Rn_47Us*x}ӢT.> -La:B~g5*eн燶xdW<$ 7^:4RGv}4npX_9!Xĩ׌,"Ԓ)JVM& қ)_[BeK"q] ʼnKIg`y $ܨZ[za%pzzW$#aV#.64x:K+FVD/vk\-k(}5x"{2ɍ?` 95S#ߪUXLP[qb=viS[i"&z6II~@'7?=c,o>vӬ{n) R4׿ H({UMlyd+E!]dGā geL~7n F/-ؖUGm֨fRF/3-K3^’ i^ 1 eyIkh6!ܺtFwrjJٍah6r-i4uul2ޏ#҆$P`NGufp2Uf6bgԎdOxR9SNb)a.ɬLº5&{ͪ̚?ՐG;$z0hhe z E`[#jB pxj'1⃫Am#ms[UT!p0ͰPƅ8c!Y94ª%mc:ecSItf.H%^OTΆe^ J 0F)eISӀ ye Ʒ[.L3ru}LSJ~31!0 $.Mv8$lM[e߅cy_{]iBV32S"WũSTI$\3\<#S4fż<宍8r^޸+/-x!i[ۆ}9Wǭzd74~M@E嗩R911teܮ࿅agޣYz.&!Z)?H#-s鄯1~7> `H0ϋc:Es,ND1<7!`!1f} ԦZ:8 ʢwQz`\;7ј߼H=gNjw0(m~kxԈ41ДȦcRļO.DzdFh >S"`X 9/:1ȥ3RKe'R&Ndj7#zLJ gu$OgbE~m2ĥ)⇦Wο[pQx6㬒b([`hPsSDo{4<~ԺmS@x0?&" h䪎!kʧ]J䭩WUńJP `@{_I5+yG8D RESK4>!gDB36uLT Ne/+;3PhPi!DK!T2m(~hvǴwY<[/ّw#%ryyUҦRÒgYZ0a13a78320c2d04323c9299e8697e68c2d0772ff 1b848f9da0182282386934d859f70e1d020b9597 21c9e9ff4c94d0ca594d62bd2479988df1eb8a05 394b65efae7cecfc6d06258af3345fb698509b6e 4def2f7b84f0f9a01cf670d5ec2f3aef4365416f 595b63ddc672ee24bd76388cb5ffca8f40993c60 73844d58172a2a11b81398626d77946c106ac6e0 804ad35961bdf5bd3c0ad9098fe65ac3687f6a88 85ce200f20f727cce47a276ac448a48ae6d51965 8a6cc2cb9afdebf36c35dd37a630fc177575ef74 9645bd2ea5b93f2fe3fee3f9093b428f3f98ab64 9d86ea4b3fe17442ac22264cfe40726b90df8aae b871318bf3c78802f55b989aa0f1fe57eb88d3de ba5363c0976693b3618fdafb7f59b7fa8655371c c43bb373263ed10da2e66dea88372ec3d1ed6980 e45e7c58e5bd97c893b9465199a14aea94eec9824dbf67159a593b2086dfa23682656ac9bdef67e9 e685f0313d3d431de5462d46b1d0468390c590ac 6d63624117467d94cdbebd9346cbbae0f211d11c