SQLite format 3@ . BBh77otableisabelle_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 ^3 |\, ]]Bell_Numbers_Spivey:threads=2elapsed=17.383cpu=30.584gc=0.544factor=1.767zXZִF! ]ŗXf1-q恈NucvAݪ4 c?[ݍ#pdTMR^Drw#1h>-,[n`T-BI"$fz!:(ۆu҃㦙#Z'aq]_g\)՞Uo箵]X;ܘG8r5Z\$wHk#f15 u]0-^Y4B=~4øwl+FZ\&JB"DKK^hyA2l8p„wQoUT eΘpvf6 icy~H#K^K ir+l?U[P='0N{.z?VYAeEi7[" _}P]hOc79M;h nUNX0osLX{gYZ7zXZִF! `GO]ŗXi%92.VZUUCNFKbE)gTE(;@]aH^F"^6y +UQfF36??TySL2=:1^?ۄ6W-EuI*&$[A#}sIOB[BO֬AQkY<A5 2eZIoSc,\~O1pq'[lZ=N30 `#{KsUB6CsTM_li:V ^ H|~Ec p._W0_AG>`S #A8MlfR5RJܵa۫i dLK7!ƻQ!Ny5L&Z8%}JW++snS0ݦdیdXsq|~DS Vqv`>CSYe7j$C%s2 `roP5 E*hUp:͠3ur"t@8ݠߒr>G~Ib_ ~S5ٯ[fŌmoaI o{Ij\\ 5h_mgRB-{Q9 T\ 샩l! ~,8e+ gS칊i}Z`.æ>0k,vJ,J6ǤP< 7B&#" i|S& ?+]1Xy5VZu[~2DEM.٘d?Ѷχ4QesҔKaS >1( ަy\#}ozA4dwl#Z2<0*'CX:\㕹 !WG#:,/J]U W4OR~M[ kLNO8VOx#V/9%Ab *bw\E~S=HLDJ7zudo^hh!?Iƴki˻@={mL˖ː kModU!Smt9'~M~oc.zϲ x#oN_m3]^ܩo{a& 9c&<#V<3|,+`E lʗqL .gkďj-M:j>5:0qx$!ڑ =-桋,ܸii#C4;/VUIfu_(c=Fbe`ʜghjyʹnk $cNah^;ZAp2-ޓVS3xq<#E>2..hs) F+αgYZb44ec0172e9bf1bdb83295cbb026fa26d7dad885fa7050467ef8f63fd56cd5cc004bca4176bf5785 29f89a8c8c3de749e3d8f52dbed7d75c52623d3a 7b4e4ad0c078ab206c2a55cfc8d7c15e75b86740c92c647e131a49e21eb2b36e8b07274e988ed6c7 3 Bell_Numbers_Spivey