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 j3 llD ]]Bell_Numbers_Spivey:threads=2elapsed=14.448cpu=27.896gc=0.688factor=1.937zXZִF! ]ŗXf1-q恈NucvAݪ4 c?[ݍ#pdTMR^Dػ:UZ~ *HK)tL߁RV 6F;φeb+d țz^,8ĂQmci~\gRo5K8.>omq[:gz{ ~r)CPBPry#*-ěɹ:%MXgw>}&'+^oQŊ(}6Іm {S9d*oH[#I˲Ly7'[I"Gsf @*vX"5Ào[>ju#rX]ew*G̱* c(vtr/ok/l\,dOLiM>3\Tf=-ƓlO^l.W!gYZ7zXZִF! ]ŗXiɟy<qJL`:n|7d.IfNa}bf|7Ԏ{pXyDZ8t̯Y'SLQᓜunw+0)j$:Zw.$>s&۹kώ#jx(Aӛo[\ ϮƵƾ igYZ7zXZִF! RC]ŗXi%;Ůzl.O-! p!;bgGG39P&ot#,9Ẃܪ̐m좵Ԭ 4֏?<,}>WJkp: ݱ&Xk\/EE?d#6>vk05t&cagԘhtծ&z4챊DuOK3y#1Q`^[-kUS C_奔9< Jr?{yGa В[nD$N( Õ` gt('(ld/).p rF6=\݀B",a֠_ 9uTJ3'L怵Ð]6޾k;ݩ93py`+pt[a 8RGmB3D ?M h}M˽hb|Vse6f N\F[%Z02t ڐJt =\.f㬠 e1is3-zSB,u|}p+GxOmP>  jB(T+,Cr75h Ĥ"gYZbe6004a824890758a7dd1e443680499c6e4f610679d8e835726df87c7b301a8f091eddccadfabbca 384240766f364b0530b95cc787b490d4a226797f 674eb2177a7a1aeb269732aebccc9887dc51fa48bbba7cf9ed7201783ebb260c8cad50a9cbbf7dbc 3 Bell_Numbers_Spivey