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  ~/ L ]% SDS_Impossibility:threads=4elapsed=60.122cpu=98.660gc=1.628factor=1.647zXZִF! u}]ŗXf[&M %_7ԉ y}ث]HpN][9lt*=*w^芅h,|ݷ'Y =Q.EI zh59] &b[_쬹ܦafp&%D=oEtTFWK7z[P]Q._ϑ<`N%[i""xcE9L -iip &?@Mf.ް٤4E׵ ڪOv`/s"4*" #rl2 \@f)J :YW8:NK7$JUl[naHH#LI+MP_/j婋HÙK3*M / SDS_Impossibility  ٔWM9 X ,7\>o ~˂5J˳gM:QSŰ"9#r}Edl, 3ORۛw x qSCnV2ب?n0?scu1"S:\4[%A\TW] lԖg~Ȫ71cnb` %.wȼQIK67gYZ7zXZִF! YJ]ŗXiɟբX LT9W"qP}G Eyٿ6,3oO~K\S>7l-FBT؆ 9]fZ}YZ7zXZִF! 7 ]ŗXi%B4̦ga喲7~9l2:͝DZ8sd ]0yo-e+W6S`(wTF/#ޚSb$ ZtTzdŐ ;G^g &T/ ?%S\+ǒ^F`9oGzG֚)_Y!#EF(̋JJ˵*þEGKm.(DS;!mSHĴ[SGF9F[\zJ2U(%K-'7]`c()=rX=O *paDUhPJ>ooEP 6\ԄQyhx&) )"FUYZrQ/SbZanĀzUjE(oAǢIVo vܠ[}NsCZɨeBA]]hNrwȘr>HOQozRX=u}uJt|eϩ=iY&ī@FrjVP7TpJ!!p 3Yx✏0MDRzHn/LvL9? |d,2PZ؂fh  |̈N"y Jx6Mt1ƈS?(~m`C=|t ou9H+ҝܓD܎C0Pfhnc+9ℏ 5nJ;t}w1"6U!g|/6dx-VL+J"7I97rAEӟJPp4wBF?# 5KUC7+`?N$TߛƤ*ꪤló.m?cf>_m`Nbke7 t"tm$7ZwUٝjN{Ĝ;Tmσe/ޯD3qc:Vx,hDgB'fюIN~R{Œ9`sz+7I.8|RҦpOtr4?8 ;Sx (g#`7ϝ_7gFq]BJۙaJΒ?uEZ\J&dqP;6(H )|'H-BjkC:?\w2a%%3G`6㰈`+%KYA;f\uS2ܮkq8ozL1Xi.S\2'L)X8aEW~' $Uo` [yG*'+QTQwfqzE| Ay47(υ"gAPl+!,3{9R\"+eWp,-SȀ(Յ~& snնw(n34QO5yMTo 9y!lm7xud0KW4$ N^V?G9lj[ݢy"ClSqHtʍG@O -C 록)r肪Jhe#:qkV 1Ze Mn_iS,?d[ZUs$]|VKߠh5~qVimKܫ8K1Ǟ&;D8nV .]7gHq/YZU6+(9iNѿENeBO? RD>+=_ˎ J ,gϯ`}ư.=BmU.M[ ᴄɛ[̘缳"1Gi\DMTXW? ބ{v nZ"$H<T 2c`1NB}{ϾYe[Bk_C+WO;]Ep9'CrZ8hT65%"^fO nǶ ؀y(ͣ^p>@5:)R\o^S Bń PX:99iu;qS֙xJ+H+H&t505rAK&)yDNE.gfjttq tQBm}9W&˩>4;qEe^Ѥ<Ϡ3h ˯\ ?f]&F0Vbfq3x;4HZ@M-gYZ370c9704559e0499c690f8b540139c25279dd3cf9cd33e2f2669d2e2ef0833012528b204015b12df e5cff2820287d96832c0244f64103884811e226d 84c1aece216a4f01e4307116ac00e5db8a9127d8 ca9a2d259ef46c754fa4025383c1d433633e8e28 71f33d50287eb4f48e52557f8bded7f42b34c7b7