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+ $, ]]Sqrt_Babylonian:threads=4elapsed=13.103cpu=32.000gc=0.644factor=2.447zXZִF! B ]ŗXf[&RA=# RA8 ~m>.iwzSp da שcUF~ q77;_F~QyZ֐7]g"c!fjfE[T!-A8䎳q!$sC B)TF2qSo?䅢3uё2|:o|@͗'9ChvR5T3w9>wŸ3G^3@հp*_D l bԱgYZ7zXZִF! O]ŗXiɟ'l2ti0a 1(XMgkj'.0%#ySvX +Q,.bD&7z~]5Sr2- R+6EV3y銅߈h=yQ%i ^/z+PֺNl-Iif4wXD!*ш?6ӹk-`2rb()JtC ":/QE-}b $rityϕBYԈч5ItfN5 09#8 Y; \pިFÒeEX7t}Bޗ!|{-ӊSt2>YR\7^DPDtK.WJ'% l8CjcXr 3@,N(U_DZ5 V;QflRpϿ)hћ_^1ۀeßi ZK*6e`w<D w \|ʛEeZWvl5΍Ei*Vz0KWqAF +f{ՙ5=q#z;h{KV|l]ή 6WZ@.W) zaZKjИ{ +wL:O =q6Kd")3uq`%sB?tK͂Z:!7r!7\{L݌ʮ@H9IBq+MK6xj<7)>X¢OWNQF M8wm8:;̵M2SIŸ@* Voӡhz(rAR0:'5i3u>Vc 0cyF!%at ڐ1n}BbR.lK1^ s$MU n՗UlbOeT+CD娟 9ka ٶ>X={oh|JbLb8^#62} ǠxMn