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 ZIt< ] HOL-Predicate_Compile_Examples:threads=6elapsed=46.247cpu=147.988gc=8.076factor=3.207zXZִF! ts]ŗXf1-q恈"3UUMѺXQ55H&Rz5M:G(|Y+E a41:c.AQbS*yT%9Ӆ+"lB|I +s+`V$`wHK Ma~ܒ]r4'U4s.1H `Y+}MYZci["N&݅g۵?vmInii|+d?IxLYuQVhkg H3-h퉅! lݯAf)cItBI:,z%43`>S]7B'1B*N@u[vV5v*8/pqڠB$Y?g.^(UiIxd)+дIzï "c `/*-m~}IOY}YZHtk|&!8~ d`gJȅ)N?rPė5nʦ 2ҋua79xSN!*sEUW@ #9%ް7,}c!KvT}ޛ}H!_´.%(U+d9 )O,L_%~{xnx7>)r2uU723'8&[)s) 2m*@dL{%l{o.ٱ~?A&u$OD;_ST8EH1CISty&rF Qg͊:ei$7 xlD֮&QpC5ʩ:!!S، 1!"wg5T+P:elHvSwUIPz %R hđw-4񛫅9JO8Cxt7p@7s:L MK# uDe S>4 hçmPΨˣ)WP{o'oaR« !a{SKDUG6 i[5EIrXZ4yh;gYZ7zXZִF! y]ŗXiɟ11"7l>_5N: [J[5<ҩ;Ͳz!vRhF΂ N`8c)ϳ`=Cgo$ln7ZB>?TieT"F !I HOL-Predicate_Compile_Examples緼?WBF'~ >}A~ŨF(gMҖyg `m(Gr=T,:M"|D^ ~eo"Ԟdi22!> m%oi~3yF/xzIk$ģxek jѽWVZcmOi{lNg-ԭ*9:T!p6͗f<U!v@)7wQ onjl9‘1jw;R6og1Ѥ_Ǝb 'C tlT-&EmCAHcdFfrOp>-fxM] l\ܖRv ^XxvYSUm{3j0U i RIw}K>e&ɵ5 tl`bK}nxhx@swB%IZLs5Oh{D+ w+uh^6<4|"Wco/bSЈ`ЮhM2(DyK`usdz5Ft:X jf2#RLXC~!f x T 基tu6Ԯ/9+ڣ=6W5`x-ꫭsF/,X*_ xen@.G?}<}$՚V /IFWZH<#YF]0mǾ䵿MӺ0c=QShDyx>ZCrX9}z10X [,F{Y C%^^2g¼u[Ja^3=)G"+ܳ`ZwQ{_W*KF@,M#K.l`֪СJ:HPv_A5བྷ3xH5N±ANK0#SG{ {sӈ#oGu8,l%: wpi>JϯIl  jS#լ\$u(?J!Z`,M,oiƶ `_Jt *ÎLPnY7P"az2~ָK7=cop J-?'CCrD?.Z/?O'LZE׳#oXۭӨ}UTM_xZ){[^67A-<@Oypp@G ]U ^\CصSgFJv+`"r.)U؛v7e>JϠ& ֜y\YHzHR5+_ϓޝ >T.+wYZ03 ᬥ3KhjC?+6Δ_xl5~=}+}+yhOT+b+ u-,CBzQS$ⵈw4۲o|a`YG7F__"Pr>\PE]dITaP{j2TǟocY| 9X j5ҫ><:)|pZOuv0 *b1xv7!mJxL# h9ٱM^B( tu֍IOtQV:Xm#Թs{2@FEa1/1Kӎφ^j f%Sn<~/1 l`IpOa]>6yF8D2JJTLh(/ MZ/yl PWS~gmIdtAC5lз2涹ED쿦c%bғ@M|h=K0#R~t.jE\ 9YߘF_<[vrbqb$E#&7rZ|L^z)FL%Fy=#ʫ 0_ |zWvyŕflE*\M+ 7m<|q. ؅DROGj,.)>+tfV 'Vi5Q+ŰlXFbxgsF[;Bws"rbZm3;ѵ2,mtT Kw9 dz;n>y.G M-xW#g%p3"ǚȀಇ@wmU"l{r2cAc9bщ*0,uU@>!Y $