SQLite format 3@ .0:  B --?tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "executable" INTEGER, "compressed" INTEGER, "body" BLOB, PRIMARY KEY (session_name, theory_name, name))?S-indexsqlite_autoindex_isabelle_exports_1isabelle_exportsh77otableisabelle_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 13 llT ]]Bell_Numbers_Spivey:threads=4elapsed=9.635cpu=33.332gc=0.460factor=3.467zXZִF!  -]ŗXf1-q恈NucvAݪ4 c?[ݍ#pdTMR^DKo@6ɅzVʽr(ͩ r^2. Lݑ!=wU`_kkB [D! \M=t`v {ܟtQVM](l[P]V "ٮt}; # h^4Kn;$q9#}JTrY6|V'gI"# =ֹn/b7ӴFPWUEe2e.;긎|uV{G`%~c`T,I #7Ca-'bݐ7 }.όJ6#Lq+tݓ}{SA%u*qIS~o[;0b@S sDof֭>E ĕ2+#`xP$g.gYZ7zXZִF! ]ŗXiɟy<qJL`:n|7d.IfNa}NVCIkĭLiɉF2Y|0L @,aEQ-}m3†q>[(x;KB0ڨ3AX+dHYA 7_\4 l``ѷcJB}UgYZ7zXZִF! K}c]ŗXi%B*UŹ3@Jqu]eUꠂrxRA1S}Gm XÔfnѵIp> ̀3uj3EQH.navtO4s&~ uv$vsj4m4{7i]f|)2g E +e!lcN}g0҇I;MxEX?CY n_Ӻs~R $(8ՈaV-<$ro9"}3bF3肼*c79#(2>ttwgFxQ\$9сҝî~zA83CF j:W'0Փm oDΥӤjjHyIG!Ne醭EŻ7ݤ\}a -gUH) lZ,o{U-J?Ħ aǣ#K:AhrzsQ9Xh}>b=7(E"d- dq3R2B23?W? R!XР1]>ļk.dR8 ?|(taOaѱ{JR %й|t2W[=8_?y"p1UU~Y&=q+1ciڈ:d)TԈ!F3 "L̵cuƭZYh~ Ȗ&O|Ìhs nΑH0ڰاFyڽJ$RK/ 'Iq:D])Rs[Ax#^{ՕQcI@^PRȝwbd0|PL#\tNk~ֽl5_*諟