SQLite format 3@ .  B p--tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "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 1 4|T ]S HOL-Probability-ex:threads=6elapsed=34.065cpu=54.684gc=1.712factor=1.617zXZִF! ]ŗXf1-q恈wX82Γf^en_s9@mћ QKQ1dy/@Eۏk[ N,@ua$W]^B~҈+rZC,j;gK. zhsQ7==tX(5~i d1fnUQ @A $!D&AGO,Q0nM;5"z?aH$:w};O| PYD~t5 vRť"$r{pf>ڀ]5e5S>-B[c;-c^4q|x-!˔PADHa$*E\S%)>Z.ArT~斏 ^R*fYgYZ7zXZִF! ]ŗXi%;nS&"@Z|= ќAXyAanq+U9QŢx=~nxH ԘK;AU\=Cdb]35ձJO2!|6p-Ni "j Α ;{A m+gi q @AIac-`:>+|Qm*)⁖ŤwYT.r2&nٷSw4jڦO~I .t(Hinq~2$*fFX uC-rX?=Tymu&,!į 蒠l!؋#7gW|*k#*/s>h͛C|=HjV_38hڋPZR0Ѕ%Ht K8 I`x^vʽ(C '-3 *`G$)8H\#3Rɗ՗aA Lҍ%JBh\lhJp!%ɀpm+/KT Yj.#UV;uHO L<g9(5=.B"ۦ5 H!UQXRD\vVK@`$Be43ņPt<& <$ѕ}c!qM'7HyDxqb2cIf960S^JI_,&k5> oq>_e]j $yV &(+5Qb]DŽTۮ"{ ٲ '#:Tj@0DOKKq>d9z<aKCMGNx%3-M#~Lo'Ս̉[V%Ğ&?g\\ _c t CD!xy i'ۍAJ?ps8zK5U=F]"ǃ]` %ǰ';'e1flyBr Z8D9ya,\Ce{=x4j'c*uV,UЖcg(g+NJwXJ^lLlj*9&yyrss\}Gr3F9>ksL[`/;w BItcݯ$*L0jҌ .5 L4 ~ZWk-S GV˜nb]2%twRrd{nkqR] ybCrl0 8?ͳ1Be̐*ЭIrܙҙ-'͝O?QV2S,qkV Oʥ*~:rX ֠(*=HnePQu2I^br4?i}^wC!c;-]dsoBj;˨6CRG0 t܂]Qtr+^Y*AEw4