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 _3 l c]Bell_Numbers_Spivey:threads=2elapsed=19.413cpu=34.916gc=0.696factor=1.807zXZִF! D]/]ŗXf1-/6vRZy_İ<&9sY^ق 2wp\OS;1Q]}([׫onWTOyp|*s⾒b3U  1uOH9P3 9-%Tߑ݇`QpGqgܖuȴzbs5mv}?;#Y BU6mU|˚ vV^N5ї n /q,9=hBҽ| j1`O-C ۓRh3N;w`ڐ qnrI=C^zR1w4WMt ++VDBn"yf[(N&zKTe;}4֥svggn;>B *s MAND x:7Ǚ6[) 031?|0Bly'." \UpieMVCben-:W(%^[* 9]eA0({ ;F'-0)!% 50zQXsGCW3w"ļSŵAmG0y-@OgE,]* .4 $X|c>Nxb8{N{P{'nҦ O\5hg7bUɃX]|bأF^J>A}y劦8Q !{:&r5c#oQcwetd,Чp"ԙ_eDrNcU>q'qKnIma%)W.tk^.@.ƽK٦`E׏\]wyEgA#(4^E_niМX ވؗ|±gYZ7zXZִF! eM]ŗXi%>)= N;j01@|eͣեq/`|;@ub !Ik0`V6bZeR옸htg%D?7PhqO+졈&Cg(dM؍芪0ʎC# b̬~&*|45ml;U WCZQ@hQ8Bz'&|2S"ߟ6=R"\ We*̮>3M}5* Wv7SHPE'v^fD ؟'czuq:v"-_xw(ל"r"PCVѐ+ab&^\DIWp"&f2?᰼f;c Ab'dz ao*m`x'sMxCZWIȃkgm.^ ̮ϥNcЋd3FE?=TJL%F`\w3'%#, 9 Lö4=f&zJy"snxQOVD)S1;K> U%saq6D >@ ǸqC)sy-ŕlG! %N?ӪK` 2:bAAԕbZ*tV^8.܅LGY/dfčFrOں_ Ibab(2RRV( &= 1L4}R$-$H3H4E ڶJ'} > 4[k9#OqGb?[)!>"2kVS|Ũk8rPC߭-FoݰzI gt!(wgw WcV(XiJ㵀5 z±gYZ0d624df132aa2e54b02fa619fa707a1b424b9830 1de455d1b6c91c9aba6e91deda1c27c17fd14e50 383dee4bb60284cc7229af5017def9c12378879e 3dd1eb530c3c470b47ddc4d434eea2c5684cd8da 4bd59757d95a4dfd72fd9de5cb9ee71638997ae7 6d1501cce1a74aadd14244becb041c4f8097c20a 7062f6bc3330331442ee719da0d76412d11266f3 85d794b86cfe725588722f5120e48bfba0313bd0 86e2ef92ac7d8a3d145d2164442c5c4c62c68b54 973d6bd96dc9037f8676681fb869d6ae83013aac c0b5decf7346f9ae8d66b5f48791a6361cf102f1 e5ee8f1bf89fdbbe4808fce9768799c63e3a2edd878527395436048d51bd6287a500d1cb05dc0aeb e50af90258c1ac1951ef5f989d4c925fa138d449 278d3a45d56163c7a0a92ad467d4e69c490882ba00a290233317b0f6be63a64d45738b832cf2823d