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 pp tdtl ]]]ZF:threads=6elapsed=12.320cpu=45.820gc=2.5047zXZִF! k)]ŗXiɟ{~eSvBբHqh һk(?/R#*lYRUnQ[A%шiK";e}gyr`3%ukSzQi#mk~/8k""vA)Iz!4)Q!<%gYZ7zXZִF! 3]ŗXiɟ 1FE`u$`}ja\6TP7Nf[\[lRi8;;-: Vɏ dLKSz93'S8LDt XtY ^[%Ф+Z*;cϫ !p4烪PWׅ9`Y-/ɺ^sػIJZA[ o]Yu;Wptd%zϽ_Q5hT'ɷDZvwRaa=X(n~vs\TeP.$ !\W긢#FMJH⼳q' ^q"#> ^ME^%Qhq4 glcNqݮh 蝄@:r\1#5oFE;kdn}\8Ƈ ށVxԹ!uQ{sm"PuYz}I<> MɄU5w"#NOM6Sj.\v>$|ǻ2a7Yu׫hoeR0`zmPq{S3E@UIY0IU5'~+SW ִ163Vȋz`b:~([8tUq6 ߁SlcW( JI8d/{!;e6QeũS $pWR0Mp]^ИS[~desyA^"=혥ct~F+,jbk1.Tf[$Х]k`>LO# e_hBUAd}(ӾXAD:swc"̑D)EK~rl&D&M!AxupQ"j*}M$ƥXUSZƫOT )cH<q$ 7 ˟Fg]׹2oEթ;IiTj%na(|yg>e ,'>4[H*=&a;R'(i &RHԦ`1Pv%dpk PoQoY$ QL iLor򅀥E,WH~ NLsI1P@y,xsp[¡e}_)Ż yCS{wXjqp<^3B;ESx#xwGC:!d}L0+HgN'S&*n,7 2FUPuHi"5*C6Ir5hNL Uh2ϻeH9fبPo.͖ &"QMk g@p0Ԟd1#ڨ*oe\ڈWi E%IoZ?]0/`b#8Sz?ot!7\ӴJ?w#M'ҮUܦXF\Uy%lwe_8ƈM]Vp a .@>J`״UFDR~ 9P^2Mfb"Ca$'Y&~5]b)\E}oM|WѨ$>h22l 2@ 1[[S4w2Ωm?Sz zfG |bEV6wgF$XLF"]׮}ӱ"^'1Vv4o?2tP2yٴɈex .z7z}VU9hMk;Jd,Ô=DnFEi8pʼnښ(9ꇘSD%3f"i8o)Aʼn zSqudfݫ_maݹT%B0W]>-^>67Wo["-)|ly%8\N\ =}g o<"Vr{'$֩bT"T[2J*Ǔu,DUM\WRHCE:3bQra`$ M&6S٢,BYgYZ9ff4f556a8b282a339f4d32b07c803236e28d07f1ff54ca3c0b35679bcb668ab161c4d90ed31f0a9d68169cbe1bb67062b7bb71af569b7ffe415fed6  ZF