SQLite format 3@ .0:  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 AA<)  D ]/ FunWithTilings:threads=4elapsed=13.375cpu=41.340gc=0.132factor=3.097zXZִF! ]ŗXf[&-? 4gD6 HƙzSbx U׀Hc 97fv]ATl}Ik>@n X;E K*?zUv"*UjP%U5YJW6YfE"\םT$Uő~uȴ sia[MϦk"LUYqhrOA :)Tby\F&O>G f>EOmhWJb] "gYZ7zXZִF! JD]ŗXiɟUXvjV*~ ^kmoy`'ō.mgym2MȺeJaK`KFu}YZ7zXZִF! ^]ŗXi%B8_t6]7czl"&f:[ؚRnPk;eu|Tpe!۽O .i Z6zTժ)%;($v~sU1 Xcu武jwv:+2,~{sDx!MN+5ʻ~!'8$+NJG9ҽ dHT@L# %KZkN `Yjp~џ4֨Ty K leFzU\DwƓܷbhtD]_>6iRna.saJe5"u+[ [ݲ=?C݆]GZɾN͡Sӷt_Q([*>pMڭK,^{/GzS5cBrKI"&H~'P ;'RXgQHֵoP){ FO|b.k۵T|gڍ{У#m*5[ 3Iډ}js],M rp *hI O}@:Sv/͕cd_ kp&y0aij}N䲡+%4a{An6oϠ yDśƍA D>7y# ŖoBsp' }f"2ؠK~H9’ R)&ZgcL5B?3֗_KgKE+WtwIipIF;fgAe4FK cŎ$댦JB\'s,3Q˹L?=GDž1K7[ %0}NAtʰ[Rq;SooQ5`^ KH$O2835 38{'fR!KEnu[ѷ)AߺW;H3oУ ꋏZl  ; =%}-L+J.+^m,5#ȟ^ gkiKpt`pj.pekjy/&FSoOVD[@pbbK-ʩX#m9$PˏLsɛ|,/C52H-۶闓q b`=+$o ۲ZkFȄ/$.(,M&ZILf:;tbKr YUVkϖćQV[#x0jKCY/\(Ȫ3_[FwQ5/{Mv "ʵq6Wa0xsHsOx=khRDLVVR)o xoұgYZ928d166dbc879f13a6eaaa117de601bcabd3b3ecddbcbc2a51857ae6e2c35d0f0dfda0600638ccc2 961d7cfc19b96122dabf28304bf6dc45da32abbe ) FunWithTilings