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 {{zI$|T ] HOL-Predicate_Compile_Examples:threads=6elapsed=47.499cpu=151.548gc=8.960factor=3.197zXZִF! ? ]ŗXf1-q恈"3UUMѺXS8*Up& хv+?'X<~r#$c}U\#桄Tp%vv4tz(VN@n.BhLYDɤ]s/Dt[*=Kj_gn4ANT !;Y˗3~7;zkP18Ys`f >JSio0BAk-dCHm#D̗DŽPn)ƜFڀ+Gfq+G4{t Ie4V%~4uavbv3x29J?Ivm4퀓,C.j5oWcu;L}&k/N盾c/_Q⭖u!+kEqI5=d{F@5?Ν_,NgLr))GvIL8EPZ6k<_z[:KW6KCGI}6S*HmNTL& P֟"! .wrF#NxޓԄa}7V$&#Z"MTU0e<:cLU DAElEq~S랜dOTet=G2V{.Ȅ;{UڲS 8}7ep 2D!r Sݶal5Rťlm ў!J'_i[T + f66jB %P3MbQm\orx/يU/ŕqmA[%-R"˙U?g;=W) ອJ)tK3tTNfΤ?;R;M|\GAǖ;A|^_^8j>cnOvl,41Hy*Ϻ48iYXC'KlCg7ܙEbl% r}|<9{salfN֭$d![B%A3;g/_IrEIe]![ C/_K.{":Pu$NmcYP{(~v/^':gZQS t "(sAԔ._,ɜ~ˍYMyQV:91D}8b J+#Qͳ5{}pDA9I` J}y.Lr|s|d%ǀe@/t x vZ NhWǫomPvVxqdS4i4-4E tRFB׭󅂞xz= rܲ~>ߓTmh} LՖb{qǓO,#Tl|-nݦ^YECid-wGy.s!u6F9U?K: PgO[! s/K󉵏qd`zwo?H!cJOV$r/5=Mo*H~[?3\?r.>rp*IZ`l|4QsvmMّeYA:i=G=l:,Y oTAc c{6ck%sO1@1Wz%?CtT|Q7Ӷ+Ty;St_>Z[~p&y$GWpCP2/uC5x)f-LMnB' ƝJaϪ # u~gYZ7zXZִF! u]ŗXiɟ11"7l>_5N: [J[AO$`y5L{xpo\یpv1{>8/Ɲu%>P'9|'7G!?q'd!˷4ʨ#mW_& `9VdPtJS> !I HOL-Predicate_Compile_Examplesz $-].rp+1Urz8+w+'=;j, lj™J;fLGRLoQN)wEV?HײT|&ia}m;rWEÓI>UnwE OHOy͞)`:ڈ.~Jacyz_6 LP@H`9; U G  - gYZ7zXZִF! K!]ŗXi%;ŵY9k(& ֥ CH)qt|c RwZ潖F ;gCYIc2siK') &!mx3I|xM̶in05CI7,gjJ T"|^G|Y:5Jϴ4k|4ăeG#Rⷭ6 wÿ|BV[6E?%\^a"e~m'e:̭xt ӽ"< ]WbK=5fFor+=p?1UZRsR%AR@nV{ 䴟.n҈d["VN'Hﰎ^vt҂ф]=CCᒻAjt " 5pv(֌ԅǃofq8)'n:`[$^h=߃|q:#殢 @4M “3P@%t/H( wv!<~D/ZО1ƨy2|fj{o [P"g*Dz3w-ZGJ hjW]y^X.zle)i&!8N*xXR; }Q+sa9WT 5b@mU : .mF{u"!]^ E&. =𹫑fIw!]5` "9;xi3 mɵVAѨrǕDwBؙce2_A0Ix[{f]L"oHy 4hY8{'ŤR;J X̩Z9kA JMcxЃmxL1J F&QiF:^JM&WEO }6@0r?[KWpU3P\"MX#} т0̙}-&#P}iC@qTFgƠY 'Vizǿ(Umh=K!_W rKha 㠵*gX Jl䵞9bx!*5d?B~[5ڍi}s˪l\Vi r%ÐKLs\s+^A 89XgK[!!'fbpI &ISMo g80kyA`0es-J/ sܖ";k4'>ٽӱ!&jD"=7j~@y+_Z/Y1_:tUCG y׿dK>/~6G`d?qGс$ B !$1zB7QԦ6 \c2/W5Rո1tӊJ)jzB'(3JO(/wmEC!^ {͸-E1>;!X=#bŸ.̟pĢ`CY{'MB;x{Q'H{[/0}oeV>uT>"-zfھk k 0n kr@:21W7q"">`ԉrvD?DSnj6@PC艴CT_;~X *w1>"naUe=nNl?us/ػ=JPb&[g6kv1 YBöyo`:\q: ޻MQgtuƛ2‚<6)W* K~H;^"O׎GOU2dߵe|| *F\=WmQ1lrkD7h*Y]δ- ۗ#ZQ ☍tgg=(U)\PFgH/!9R_bv&ޫ ٚ\O9/J.Dv]6)cmf5uqaEAM%]5Ũ@x{B4jbUwSI W("D,{W#I~hs[jpaFߩ3r7ZBdxi3j ImaAA&&Sv *,"`8[fD@浗=,ts e-溗 @6|6P i)pƏ>ʪ}ne`RE}U8c qVYWy^sL8 +SSd0B|"urIrz5Mo%G}+r5垳p`>mϿ;ۅ&AA bE[a)B #jOq(gqԉlm>@}D?ӵ^YkTR'ua2zaw?n[,P\iĜ..{շ-`$ԛag 8+*v7)FcAw8qw!ӗ`YnŽ1cnl$X3/Ѳ3p G.i ̢%[ gYZ4a30407f8128ed4eea1b23bad8ea26e7cf0cd1476c8c27efb0c8ebba6c08dd56f4b9bc33d58ea855 bd9e806d713320e48df8a9e586a2a05529fa70cc 83283116a2de2f1d51203015a8a0d42cef416071