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 b3 ld< ]]Bell_Numbers_Spivey:threads=2elapsed=17.979cpu=34.532gc=0.876factor=1.927zXZִF! i/]ŗXf1-/6vRZy_İ<&9sY^ق 2wp\OS;1Q]}"y 'D)#AF|-0`.=4ͳm(VtfDJRlYh{i]p,>e_?oSsRj#OV-q$kS:3$eȨ;xy fZ(fH8=z^ 辝z]hWa.>oBU Xc)YBVU5Cn}\HH g"2A9T$\w"%4;qrAf" A!8.V>%zŽrfdNˠ>/ցݹbVTJo-{ \rt!ѩtx. (n*f±gYZ7zXZִF! ]ŗXiɟy<C{ٞğ3 H&rAre"RT~C1ܷo7yurp.o?S{'z ѾAPBA DɚKM"ciˆN{PW5;DR![Jj2gYZ7zXZִF! ^]ŗXi%6Sr0Z.iw )a Ibc2QZN$wD9o],1`7Gfp!7%JzFG3OA5d!W}v1[͒*VsѾFn=6D["6A;0ƣ¥ ^OֱR02^u:jKI=ϔ ?Ʀ{|_#_$H1׊K[y{p)s{""3J R l,\$5 f&9i('Bbd}Ki\η|^> 2$)y)TyC{ŞP*Eg= uk<<u_A3=ػȧ BE 8t+\$'~A žk8;_l"ܼ;%'c$PYm21l}߉J~t~6EE.9Zh gamcRҝ:l?5?*iDs>}gn՗WȺ~UO8%rlvR;tV0ܕǗS^-X6B|d#AhlV:GF+X'&m|ʪq09 )6˅xySEF3+Zṙ=sZJJ(3}'ږShSMo5~s(^nPT7$J4Q X e}I. :7k{ t0KhAUv0g,TBʖE_Y$3'ȉ@v ͞ !RYU/]!682ۊF Pd(jmYlu$Qh]0pJyO!l1£<8-+dәT>('Z(lZXf;HkFA$Aj &j+$>:) Y:i$_R̰q C+y̙G3U1~wK,sEY#(H$ $54tNY0>?3 I8W W|.ibh.D ߢgYZ07e16e0754a0ba7ee1a18d801b4d7ea0d69a5431e70ee0fd938a0febc474d8a614487240593c9abf 62b865a30afb162effeec3b132b2275d92775ddc a15e9030bb829e65726be753cd6c29a0a343ef2f8eb6056c5f8de04993711ff10be7ecb3cf5cd878 3 Bell_Numbers_Spivey