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 / D< ]% SDS_Impossibility:threads=2elapsed=57.064cpu=79.396gc=2.100factor=1.397zXZִF! Z]ŗXf1-/6vR[\NW,)IFCOt&; 2[Y Q'KBe2B,7"U$AgMyhl8TE)JpY_2 ّewgdHBbW4]RmL+Gx/󉼛ZAy2Ms(>R.:Dz`!>ZTpsV0$( 3teLBI;>Fwo]}녏( v؉S_3ax\Eo0vvL(4#(```y/pH-z*dӾ+ / SDS_Impossibility  Αb !qPrQ$jrNxZP%`!!IYm&h+=:XD^u`ߝ>> S&l*!|p>_^5QN׀S); +(j5e,bNgYZ7zXZִF! YK]ŗXiɟբX LT9W"qP}G Eyٿ L٭ SG R$2}'X/M-#|tSgZ}YZ7zXZִF!  ]ŗXi%;31.Aj,tD8Lv~A5r/4Nռ'%xue}|47+ zL /,bEt5t$/$rYR8+D6`{^?Ȝ(r(^5GMX1\}Q«H[!w{u>бWxN*YYi4fPsE 9p3kξs✿b c x6Jlk&b,U2OrV::P썄l&Oċm?^R\¼AMCTpZgdl$# 2Q»7-5Λc7J)9:uPM7ʡ#.ɭAugW# 40D @6Ay*=ֶ2|V%(%P`̨hٙ6"jS1\e^FxGuqVH}^M1_nA.GxY XiJ =? @~dN'bq![yؙu 3?F6y>-e#%#A6h#^_ *Q>[Ԁ+S8",dV w/69h>IJF*sec|^Ә\EeS4xYjV$3m$pb+jhKЪ^~ƿLW_w<@{^.qOR }C> <}jbfo8Hoν5t`P/RiMfyҮ9}4|zP1Hs|a9#`#;H0>K <1y>Ŭ);& 1^_Vpy Ywl-ƱX\ԶHicQE vO7+tV>KREzeJ k9]^@Ϳ d^p_iJlA%{(̏G=z|:'T&ls]$e&f䀌]~k~>&oyHW"X$czVguKcq"xMZT1*[[@Wok= 2PH GݾNPU`BeqZ0_+4E~psO^[0wp2?Z QXA=%ڦSNbkM ԲtbPK|\S3-Xǝ1sGQ(taLt \:F~ʘI3S!ubhlptxՄd!$e[ y`|b0YƪsS7zr}؉bL4d[V!Q PÝHֵo%~>>鄔ٔ~" uuuHM{>Td#,ڊKEg҉01l `,nYEFd} "F ",ꇕQqWHG.-*YNZ͡A u`.Ƅ}{t ]iK?. xB27Ww őى~{e sq쩚&AUv g)+JOٽq6gYZ59a14f7fccdc48b9c00c233f500638738f830cea665af98eb5b604629a3a80f1bd6c88145ac43a21 5144ebd7f8a7159ba53f7601bdcfe133b83a40ee 84e9ff1afaa7247afbeef9eb4b335fea17548a6c 7059b0deb1a41419deae0813f26171d1a4319fbf cd3281bae09c799a64c70f69ffdbbb4c99d4ea41