SQLite format 3@ .;  B --?tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "executable" INTEGER, "compressed" INTEGER, "body" BLOB, PRIMARY KEY (session_name, theory_name, name))?S-indexsqlite_autoindex_isabelle_exports_1isabelle_exportsh77otableisabelle_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  D# $LL ]%]UTP-Toolkit:threads=4elapsed=25.073cpu=89.992gc=2.408factor=3.597zXZִF! * ]ŗXf1-q恈NucvAݪ4 c?[ݍ#pdTMR^e'T/|l{JzuEW9S|Ӳ\FsA˳7d"VΪ& [:z 9gno0Jt c3q/$BaX]ʚFVxK}?ˆ:3Ke|jhs֗[W_ȰWVEg4'"6CR eGrhQ !1sRl7Xn]ˌb"N[ct2Xs,.D} f)95_V?Ki;қeO$-ºS%:Ax-\i bOWVV?7MLe9xv3"kEq $_>ܶdf؈UeA^YeWv֫KAB5TI-S6p8)9DɉrQ<{ ŧr~ P8ɑB8繕yK{O"2^C- zbP>ߏ Β``{@InM72Yz%)qj"~ B>FW쿹3$BhhU(ԚBIA ͓|`^-wIȷΓRPD)oەmJ_ [solfKޭKVk!3W G }]sR)[͚s1"19c 5 UByAgYZ7zXZִF! ]ŗXiɟ.z+ j5PUN𥢰V( RE1XQdo$~Y?'j/ Ef_/e'fI$\8&1(@bQN^:3n ܻ1fKt6Kx]@dZ~K wyF?x3e@bIT—5'Q N6 W|NU *Bt=oq{$n%Ouҭ&3m T8Uij7X T{z˄(\. } 7"`;omnizb/ _b;\KY|nUf*/mmPÖƖz5kme"v2@w# 7gYZ7zXZִF! W `]ŗXi%IsYb*`HY@hʜ,Qd>70z}(]=\Ӻ)t,B>(BYhTo14Hr^ֿB^ Z};@k}Ѿ`O&+pAp?T}e"Oy"[Rw~,-WxdwHULqWi@ү@ox<[~/j(k.`>^_]fIu7& 9y/`5 ğE\1R^w"+03]αD5|o$WHoh@cƄ.vYW'xJ TWah-х! >EƣcwM Lk^IzZijk@GmKPXZ ѽO-ph|:R;FIt<⺉V#Qt̖b'_8OLr;[:u(4O]!W8\9/றjzW@&혼xz8iW$h8gz < ISݼMl5@FV4s &qSĸ)rXa1TBX@p{}{rFAXS'SΆO4UxZQզ{0#@;qɇ!P9Lq(\ &1 G{o 2֊7KV.Lm܂_}(CLe*%mGah+2+q/+bO C}e'+&Rxy+}=U22KXhoMw8෦fhWJ!D57Yjwӑ`^%,;ߵ-!ݴ.@-(#NF1nEVtl= D*k`}LJ dwq #U{wͳRRRinqą%[~WV/s3|Ruogr/]vI6V ה)kB5+%{6{2+?q{y6px &ɤ(k4{ =F@&R|r$D9PI