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 SS*3 TTt ]]Bell_Numbers_Spivey:threads=2elapsed=19.340cpu=34.032gc=0.644factor=1.767zXZִF! "]ŗXf1-q恈NucvAݪ4 c?[ݍ#pdTMR^NƾEQa0EKv?I78lllI~ ؿdM#+:/fnq!2 Y왳D~YiN^bl0[S\UZQ툂V{GeY?xs*8>8uy[b9DcİaRr3ҮumӜMCD W OE9Je1gn+V}u;HdmBvtp_$70UL-?8Hg hk P^m_ A !<G%Cm5즓Œ%'Ӯd5%;TvpQ׃ꟳ≦$9i'.,Ϧ[!q pE\bN E{P/W3FVKAzU2"~EzѢSfQ?$a+ zFnƶF,ߝZS2 /rXGs*کjF&H7rGU^5&ǮkʍU%޹ Sq V) uw?bQ$!>EZ\U]Uh!pyx r",gYZ7zXZִF! l]ŗXi%933 7ma#>'ɩeY7!/HoDDW0O0tq%[Ĵ ? 5Ϡ J ֩=+ (j#c] Q]Ӝn+rW{L X0џ dwLF:N# RXBɫZԠǡ9_eJ;7^QL GlJ<r6 R:#0=餒쩆@+B5ОTtEe^K>_ѺO=r+9 *ыFÓ)bk\iەڎ!2O1U7zF#TRs=\?R_J"d<ԇJ \8ӠءA^E V6F,햒uûxGzjn89wIf ǻ6)дqQg?Ʈ*A{U7l0V3[_AoUf~!ߘ_+jl-hjdz5jY R[l8G.. eKǽ2fӜ21zZԦ-/zg 9*>W-CUm}̦-Պ%h ZygYZbe649f04667c46f2b99e0dc99aeec42b643dffcea86c2421cb3bf965bb7b88ea7ffb63ae19b7c19b 246f6e81708adcf47b424e236c7a30d027d9b852 5bb8c4dbbd21942ee66e9ae8e3e4ed5a20033039138c7f9b996429cbd87ef31ad4bab3d3857f799b 3 Bell_Numbers_Spivey