SQLite format 3@ - llB77#tableisabelle_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, "sources" TEXT, "input_heaps" TEXT, "output_heap" TEXT, "return_code" INTEGER, PRIMARY KEY (session_name))I]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info k3  c]Bell_Numbers_Spivey:threads=2elapsed=18.753cpu=34.144gc=0.740factor=1.827zXZִF! E:]ŗXf1-/6vRZy_İ<&9sY^ق 2wp\OS;1Q]}nat_jԜoNZ13v9aGyĿ,'Mt5)CI7R6tn(=X?t^>-uƤ(w#b@4NACeRO- ]C 9u!ti2WBŠ ߦJu[NU~`cF@~y] xuʵս!иfBc';a`*r`,ɦ#.;1g#D#3#'Pq־F{ZZtʧ B#V 2{ȝ4Tc(Nap \낏ᨩ4Mo?u 2#OR7}i5^mU'Y0X )-$2,0)Yj]mC٬R^)_>Dv{ m[y{H01n 5ޝ0^K=(fP׏TJ̒,+Lginhx=E$c,yQV:BN*"pbnl٩_=gq8K5GևL-2-V%e*Ufr-h܊hCKqB&oHKn` N%J빲I'"QivNr>FvjYi2y{U/#CHNGv{HIN_oc-mTDp$%Kq/L콗ZbX76Owl C1v?/٘B[4պJlZ@ iEc&9 \]0oKLϊ܋;$9:0[.h3fMy)le‰ Yrs엵'uמK_waJ(knSao"Į\bF&@ dف?֫/OJ7p3nGc/Umiہh S r\s,"C,ki+]N[=*|}6x3K"+#s|%%<] Q "_.ӣ7ʤ a%SgYZ0d624df132aa2e54b02fa619fa707a1b424b9830 1de455d1b6c91c9aba6e91deda1c27c17fd14e50 383dee4bb60284cc7229af5017def9c12378879e 3dd1eb530c3c470b47ddc4d434eea2c5684cd8da 4bd59757d95a4dfd72fd9de5cb9ee71638997ae7 6d1501cce1a74aadd14244becb041c4f8097c20a 7062f6bc3330331442ee719da0d76412d11266f3 7ee113b1f7c101fbfde03d03efbb16ccf5cdafae 86e2ef92ac7d8a3d145d2164442c5c4c62c68b54 973d6bd96dc9037f8676681fb869d6ae83013aac c0b5decf7346f9ae8d66b5f48791a6361cf102f1 e5ee8f1bf89fdbbe4808fce9768799c63e3a2edd7df075489bbe200b6262e37edcd5270d19378d2e 9bfbf87d82e3125a825023e51521c6c0733cbb56 5c50fff35e48300ff10062e832c26a132060085fba074d33bc3babbf3cf238d0a7b49f70a17110d7