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  1 t$ ] HOL-Imperative_HOL:threads=6elapsed=35.375cpu=72.428gc=2.432factor=2.057zXZִF! /]ŗXf1-q恈1$1|-~yߢ" w7Eh % .lbyjxƗʞ1ʀА5IxhVgJߋ{DGp,J}Y/`OuVHPBd i_L xdd;-ve\&b)g$-jW u{v T:7g쮶18t#2l ~?&KRqN{ܢCX<%QC}{ ^?ѳN$w57}&jw\hdC_q,tZ y_گRRcӸf9ެև+.'rxD1r9Rš}r~wuЦ6b܈eS N#UW_hy_C^n pV׻۔dcILs&jvm˳֑fba(Z5aEt+]&: =C -TB  ^X]P4?W7Pbi;F73(84x TOHg=1]9~_Xqw( ěrq6캪pw_H/~?,~).7eG}r [6O6NTOEo^q̨8S2?s9? =4 L JܱaWwOg U)+Y CE:h#JH KcHڥOk³FQ1vK&&傡-ؗXm8P-@Cb4r iA$[\A^|a$U-BQ ](k"/44`9jmNl ^)<gYZ7zXZִF! H]ŗXiɟ1nhЦx"n_8N]( eOtd>jaŬ0RK%KΥĹJ|,6Rlic5: L_>uMTũ@EGVw >(s׻vRO5RUm5hv(uȔ$y"|JHlZ1!)J;mQ8:F} :)E`gN-לnCPs22#h pEi|LbI߰ d+o/ /%}F&Z7޾0oɅޝâ :y#HF.՜;i4N#;j ;e݁_ZRz@ s"RԱ%",<~{^[NDTCOOӁ~%dʙ68-m^7z2P75alk:$;,#vJ`|o7$PL{I?Ahz\~ũ wPcU5D1U-nqFM.vq 3,>I)y+tP:oAQGӳd5#Al81Jclt/kE>D*A'HR}9l2ByBX,5\4\y*cFNy ~Y L- p^/V+7qآ]~8? n%F?a943>Բ)fl_}Љ I>qGck'Iʼn"@hEM24NG;yPL'O CzwMVç)#(2F}Bg $LBRɓAN~h?YY>W_'r]7+1!fςY2lT1b-jrn!%!hy ,\`V ,KV@nNr*.3΂n܌uK2ɜmGT0E` >09EF ZD%8N[pm$wW!'eltYTA ʰ"\&s7!I'usYTfZjQ#璶3k3\4wTG$)Whim&ەtEڳP9?S/6.o~Sʘ;V$ C# H`X,sX.K߰W!Ôe4 Kڬ0nyI&)[Ӈ~"EVZJfso_.i \鱥vuEA}U^!QL@PGzYFԭ}w-jҘhp~d{BUqS }g%=틽}adËwo'FU巨~Ƽ:VvۓLJ|_{',x]zpWĩ#+J2&5ڝ8xPOw4ףE̤OC %o `(17jqBI]b;>!{!&dC.Cx.g8Q()`X,rtFJI# `'|8§ġl5,gi9U~AeE*=5fϵvgf+g|{d$voi[PA?H1O5>&ҩV վ⍓J(*'#o7L*{ɝF%gw2nj lJo[%VGҾF9%e'5/Ǔ t+4Et@T,ߟlrņ[bKi}]|:}sJ*ClB6wh]jS8l֞D ߢ 8`\D!Bt1&y[#Yal]_jMnbV7K~[;HDiuH77 #4}TLP([ 8QnO'he#:z틨 */E&Ée&w*0 C~۲XH]}6u0%8{/^R0HAG\?"& nR|ƔhoG;o8Kb<8 3}D7D4^Duҡ\ξ i W%+ {N3=w;ҸiL"3Lڶs_[ y}Xa&B2oG3f*aDPMb̈́0L1p9HryT,*#`r̻߯h)sȼa5` 7ڷN]ED7̖>^z4i0*ʹґ1/w%^ J}bi0ء4n&N6g=;2[R!T5 V::OHSJQsQhu/]u:]zhbjgZ * nƷNCj1m8l~կ Gz}+