SQLite format 3@ .  B p--tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "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 [["3 l ]]Bell_Numbers_Spivey:threads=2elapsed=14.280cpu=27.660gc=0.656factor=1.947zXZִF! ]ŗXf1-q恈NucvAݪ4 c?[ݍ#pdTMR^Sdu۪f7bK`pq4s5-Q6 x+Y l櫜ږ)+ǭԋ#mȆgT)F696kߺϞ[fcVMJ\W`XT% \{¢[f TD"07ӌsf2$,gQ!_B15p뷝[\ P(S$ssy"M9tE#!gdI;\Lq,h)_i ՝R+ldW|c%ԢGhscVSkHZڿ^W#Т;6& }&!_vbG"=6[E@IÊ =& χU&܉8oSǔfyS]o!9'_S@oa~1aEB1Qޞ;\ 6 m})_eB/ϻ Vfe:좍"~,M02BN|Oܱ )O] JatGV1|7 pᏥ2Q9 j)E:gCѭ,S 9._D}QT8`AJvnÃ̸>σZ)za1 3[HCMgƕ#Bo/FQc^Fӑ9<iD3СV;Y#RޤԦ |b .g8Ni#T=NF _TDU~}V}->J)GwTKAר^4+bkLD/c)iYfީF9jLby*@3a)Ё #uO$."ߌR3]}07THLJK 5 xe9Κa~+b:wǃ.jFbY6Bqe:}0ouG$ڽևd]9F4O/ ݂,m:St_Q_XaY'?6vJO[eV {gM2\%]|hůKpśe:}SKOef5A-c*Zk@)bB^ՠoRYFg]ӭL>!Ph1򝫮$Qdye/2>`+)r7ˉf[RJ3K]$ =v[|"z3!+/J8J5URg!bD04"snBྖQ \י T"4R$L4gաڄ>xIm4" 6@rmH; \4/Q$p^c(MA׈ YF&Eg'˰t&[()!D +o57:5cD]Hn