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   c3 $\ c]Bell_Numbers_Spivey:threads=2elapsed=17.081cpu=33.968gc=0.724factor=1.997zXZִF! B ]ŗXf1-/6vRZy_İ<&9sY^ق 2wp\OS;1Q]}['9D0~;fa и1p0jP-G)~TNg~L=MCK>mKw'}nidc[ny#y ɅY gYZ7zXZִF! [f]ŗXi%NJMwځYx)~uS0y2$)1{@)uBX! EIxeIx KV8o!0`d\89RA7u:Y]"o341Sl&?A[ڃC!w2+U HqY33n^5u醆OkG{Ňgy*[axtQ~.1S؉<15JrcGqfby@^aȭ|oC?ܸ,i5r)x޻]Ws'j=$8L](8QGI^sʚC6 4K"V6d>կ. gcAϦ8&枣Q&('Q"xfaLH` 6(-lAn*mD鉱~&Ʌ*0L#( 0ǘ Fy[}_(+q5ٷ}D/f@XAmaj;iĭ0OSӓxoD7f1He{5_H}+ $dhUw퇈/2p*yXLХ Bl^ %jv)N͈F3{䜞TUI0H`I4VBDq4vTw@,ea<ed{:G 0IGUnAQ9%0mf-vshQoAEO'Qkh1}T% V 鷲)g9 e ۞@.u \6(in '>+Y=P307לϹFnpX%[!|e^\hEܰUsdYzێQ" =$YxA$ N;^ Jl E{,d(@#l=lIp>2}lJ^it2P 2yraD ee̙,:TsYkzL(Fm"?[ڷ(vMܹQ0$Y]YW9hGR<@o; :,X[ m/#.1P$>֋>m?i/R~f }Mk=5HLk {^dcp>! P&vDH q*DEb^z>V i'k}V $#VX2:[)\r}&* ZMt?ܭ|X A蜓CRjE JD#S-2Fhf8ldj:i Ɲder1<  ΐsgYZ0d624df132aa2e54b02fa619fa707a1b424b9830 1de455d1b6c91c9aba6e91deda1c27c17fd14e50 383dee4bb60284cc7229af5017def9c12378879e 3dd1eb530c3c470b47ddc4d434eea2c5684cd8da 4bd59757d95a4dfd72fd9de5cb9ee71638997ae7 6d1501cce1a74aadd14244becb041c4f8097c20a 7005af9f822fb3dfb99a8cc26e90e32ffe96f3ad 7062f6bc3330331442ee719da0d76412d11266f3 7ee113b1f7c101fbfde03d03efbb16ccf5cdafae 86e2ef92ac7d8a3d145d2164442c5c4c62c68b54 973d6bd96dc9037f8676681fb869d6ae83013aac c0b5decf7346f9ae8d66b5f48791a6361cf102f180f4c0c8eb04f92fa9b72ba73b988fd158f20be0 2e0269c995c52ae68d15e9236e33080611f663f4 ab8b0f5e11437cc3b3ba93009ad67ac171c6a59c1718b389107df2bd44586c08662a813f5400b9b3