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   d3 <\ ]/ Impossible_Geometry:threads=8elapsed=5.860cpu=17.809gc=0.524factor=3.047zXZִF! V]ŗXf[&2sHx},W,;:#-`3cDf\L=Cpn.o5Kjp|`t:?Sb~NקME ~S߻Yӥli);?{guu:}mJCfe}J\fJQ .>8ô0Tщ8e8WHɐzgmn L }eD [yzp*VSnzh[|af  &1_ZVSi4Ԑf1<(Τk &[p3i*b"G~|jIIRNIVܕ O}7Zn̊gYZ7zXZִF! [K]ŗXiɟRw`5.@!azH>MM('J6V\ޘ86 [ ~.H,ads=g\Uh}YZ7zXZִF! 0]ŗXi%>t}r>VaSoWʪxjآ= vAT$D6}U6nPq[ب夵 "k[tZ>YGK }Bd˦T᱿M'! u7[h-]C$W *ˆA&%va G5XG L9&5x8l'{?B`7jpޞ?N km]krHrԡ Vdj4NyL+(G*՛cj?"c,0[tG0s?CZet#!h_ 9 %>~7(]s'IMr P1)K7'n* e01{{~} ؔԉϒn BZ`+}~E˾mdS8 Aq0ӤsG{"W'ou)3s[7 ^;1k% lBu&,2FHmV1-~#*+ qGAqaNCY4q˚׭ 5Lݦ˴J6 --zȾn=_հc”Aзcf!K?X1b]pl VӎQzKGtG)qlغF堞1ˮq]{~Ґ`ZP/4ߋ ?dחzIkPøF*nXn"ђF7s#w/FamL)658$9Ɍw>%L&ycFza|py6%Ԋk, [`]޹TFz4iw9{