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 //N t$ ]]]ZF:threads=6elapsed=12.644cpu=46.936gc=3.160factor=3.717zXZִF! 5]ŗXf1-) enȈA XR„ӭfJ⋻>ŕLRURWRy$h[VeQhmcrj A #<Ab-4wN V}X尮WQ'ؼ,LX3zM9Qnax*2d]~f>%Dž߫Z:*s .b`|l .wUP[`$ɱgYZ7zXZִF! 2]ŗXiɟ 1FE`up+OqJ's>KK?l0 kFcڋp|R"p/f .j#u@a;IdḡJb)5Ju;! k;ƷUBHoXȸa x֯Ghx"MU߻8YQ1AXno΄\FzQG'vm1+g]kBB:FB}"ZN b MMƢQ}j!t*@XB2ssA3 E2V` d@pPܰkyϷfRU-CjL}LGcBɖWYֳ10U'tĺNxY ׍O^]B"ͨp3SJ:{;SG0qp";?䄖$JeljoOm~bJoW4$3-T?E`c?`}gYZ7zXZִF! F ]ŗXi%IS<Qոo;` ԫs^?nw}W Aj$15du, z%ղ'#MemFѤ0H!V=o^T(Kf__)JAx]E'5d }F^89HKlOjTo/oCJ 'lz:02CK>|2_ږA{HO$Nasir#4ۨ|or;\Ӵ=6T86[ă(N#\KJnZ?!УhC-tD>@ ,3 p@+LE(_Hi#]x(1U7/bF$ʶ_He^k5uh"Bh yXJp3u8bN}W, %LwB!rqe*FL ӥ81c7r0VA*b8`y/,A?d8|9@k!m(BODl=dzyvꢚoxn; Dzʡ)sB5oz‰-=6V﷠h޴ ouOr&|^4L2QiatQ^rN4!DЬ%ͬ逪` ttgΨtAQbD9{pޒҍ' hX\cuqzΜɂ6_V1d^ZV "vF95eY:P6