SQLite format 3@ .  YYQ77Atableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_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 h5 d<  Lam-ml-Normalization:threads=2elapsed=9.816cpu=16.048gc=0.768factor=1.637zXZִF! i]ŗXf1-q恈͐7ӺV7V(&;k ?q\lΜ3N>Ub0}am GH1W%1aavm v黺#|~)`3ykLn() h\ (_%|b#b=+(/T]ev3;N‹+LǫG p\yڅZS\NP1Pln߽A>G@ʀ Ƈj^ '>乼ɷgl<'Kp1Ów4+`z* JKĂ::½2zɢ~WT0otm ʈrdSKꕑ̅(gYZ7zXZִF! :]ŗXi%}ӣA349*>į➐POnԙ3|uq6v,}(akSfNP *Z$S%,\ qf|ޔ gus"1ʙEXS"zCF8|c nE Z,F䫨U5mqMgr|wq}7SK0-4{><âl\zx|Pa3_+KO6SN&*A&sWep]/op#pWdf`LT0-f jD_\?R%i5:ӠAZ-RDcuiͰExDV!ʽ4ZLeg]&scȿm}X2Y-&K_eRc Q * 8Jl=nޚ@48iqTl/[&HG) U`/zSY6O-:fĤF߉"c+?+-ߨșN^ lb|ʙ^#SB7==SR{x3T\7FN ؠ*ձF:{ tJpa~5ꌗ}"-F{ ggk;&J]Vɿlɱ c{{&(&X7^{}6w(ߒ+F:ZwMĸ5~$LŞr3}uE̢`dQ0VW pFM(wEґMvC :ZThMmewcTw8 -`˨a8 Wet;.F a΄dOşY}8]fG^n ѬVτd [yM.]NY⡷G87K tx`:LM 9D}~ +`uwϱgYZ22153a9ee83c690aaec55d637858de1d3e4ec0dc 41caa02d23e239f82f825159faa07a2ce18fcc1e 4f85195f0384ef3a874c12c5bd663375611937e6 7cc7e252b39545aabb4716107961e3cfdda9b61c 817de0e320dd9640c7fad5af9e397d95d33e119f 8d065f375f639d3b9a5b76c07b27058e95555fe3 d4a744693dde4b2b4dcd1b586a909e4d25f5abd6 d4f60f18aa580163f9123b4864e1ab9c83a94e8e0ba1ca971c8be00bf94431f0078936b10d2759a5 0ce03196a7222f6488e31156b520bc36971a656f 7a4e4d92f2cc08d2936c4a2a910599892c33bce6 5 Lam-ml-Normalization