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  dT4 ]w ROBDD:threads=4elapsed=22.236cpu=66.412gc=1.948factor=2.997zXZִF! #Mi]ŗXf[&$_ꮜ𗧱|1xa_3ru4}5q3}T9>A-u yEE DIkYt]>1+c}kS/1+|=({^cQʈsn"2>pPUzTNpg4EOGnT-}׍l;02=ULH(u| jpۖ[9o~'$ƽs 'x-1Xq_ PnqT?{Q*zi,O:ՆZwRU"L_ :u  ROBDD   n`(r5f谡*!<_tBr@$t-egXz)JwOņ4̑0%D|A@'O>>ou&e+K m LW1ЅS@hXBM_<7AB3-RYVxoG)A8BLRy8Y;Ryo)H:AΖ~>I^=,kN I8qc!U 4 xR^Wi2O=ίyEu тU+!D\Ag&eX5rbD=SlSqcvjCmi}"ٸnRb5%IwZ-f[.=&#肃Yi@E2UAd rTw [KW DWt?۶dZe~|/ſU.ܶhKQ29Iou(A@#ovnzk> /wn7qj@%Q|JN;S}0t2n?m do!X-t}{ܽbJV: 'qmr ZWͮINŮ oXߤ.{FjKa&>LjUnrTCOxTo)j"GhPA͹Ē~kY6(ZK8An*fޑ ߗ1g92hJ+X|S!@=##*>9*ATYfP*gkӨQ E w "G+rCGYJcnud)t{] ꧅|wYW cYG0&ŲY8}nRp\y ,l;hYዲ .E}LLlʵau.j`qsB\%OtO:B9NXC :]=DH@fqrw"nH p% KRG^ ]Bō@(2+u:65Ӛ_BNpt\JeSnF2)f$J53m8<6`5R?L4fڔ0V!. \aPդ_ R f-cP.sw9/{ml-\h^nK]>ù?$WnOӔ kCLj5`7.GKҞXۯ `/+::_i#r* LÎ# ㏀GU1ۨ\ʎA\IJ5|#K