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 gg L4d ] XML:threads=2elapsed=19.646cpu=32.108gc=2.200factor=1.637zXZִF! ]ŗXf[&CiDu;\#\)E9-Ch{[n&1;ƕ`6HR`$NU5H`&Wr 8hM}WWUrw/hMIҘ*w8wvg?H D.n,scgSkƥ џ*U6$7D Cۻ,^SD\ٕۖylvgRBSR2Z4F6pL̠QY *xx/5q*=Xn1I` Ӻ~F uldc|` wwWyo Ⱥ RVzpqJYD+SNs!W>]d7-FN )IN>Dl,'XjG,.2F,bcdBZlbj?{#8N?lX?i B|bm\ǿ*rm/]+n0ҭ{)(za|&[dq,|n djU{PN[tT#sa/Bu /V .mۥlߧۅIĴ[;B]_W7[4wNh_܍Q|# 2CQKRbA;&|v0~`[SsK+omgYZ7zXZִF! ]ŗXiɟ|E\Ât+.*aphG)%uG%nzC@ʩ9Øi^G=R#9e2 oE/`J0t_#:q#9 Œn_C慎"*É8\+0B` |$= 3Ysq0cgn8q~ $1|* W{&}rȡӴ&!̾m9I[@`$97gYZ7zXZִF! i]ŗXi%>gƖPިn>c:!\ =ןTٰ;|%>X~8[NbՁsiil(q/¾AL_i&CB"*9?ւ,86Mjb1!8{%`}Y!'g%~ _c(}]gvhiZ,̰Pwyiv@= g|KyGElҙ} de5@IcL_G*ozKYx?׎Y{rcNtO^WV$-?6RS_S$~0{,iB {_(Pۚn7wf`dg;y&7[Ct,7H.?`>}ZS84܇օ=]6Ē;}cG6EBa馫Y-Me5a·jr)5&ENe :(c:'₅s ODw*O*o5c2Omgg%=w-䒧Ƒե3R07ǩWƟ&F/LLhd*"AF9Y٣T_$y5&pR\NXxuWσOfJ5z6mlVuPlI^+FjB=8h%|&B߽%ȵ}O!~!&Rx8y'qe= bjo'_zN>z _^| Xdz $ ƒOuO %(R[;b8.YӿОfشNWy:ŷ9z2Z#3Xl%ץQSk2M&r?9 AgYZ58c9b108d2a96f3993989a419679ceb8454bab580779f416e0333e930b31960d36caa48e35918b68 b6896307526a9838816e0ef6f162a79ce98e509f 47f3e547c75db7767e004a4b015e520c4e949d73  XML