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 0= 4l, ]S]HOL-Nonstandard_Analysis:threads=4elapsed=10.219cpu=27.440gc=1.236factor=2.697zXZִF! ]ŗXf1-q恈1`VnȆf ס@rX) -p_)ik;6Gc*L5}m7a!aL Zfmw[Sn~itOHs陧Á)4u'JNz7 q%Q1AhKbO]3Ȍ܆}'~{6_r}xRү$KZF(nCrȚ++VY-FvG4i''<$` saE$ur9޷$Y=IWGWT'_䟪ih2iwX{~?B?'b{ރÿP\-.!F}4tc*@gDGqu#TbcݼM@ q S 'R2JM9Zoy1UH5Іo*1dYU· UCgYZ7zXZִF! m]ŗXiɟ1$BQ0dE8sM \`Nᵝ^>$L}J}=x|~$EԽ5z/ٺE( oDu67C.kVOJ/QCDKYNE{nZԊVO$C%`R4exXxviTmb!Y2ך, ik'FZb9='#PY*fW^ͧmvϨ(#~ePOcZma?m9ݯW8IQDLP7ԯ#AURB_mj l;jac*B\ WwIv2FgL Lq5n't݈|m>G;ZWuW#|_{Qv'(e [!4N?A(]-47\-$~[Y(=#tԄb~F~#< QG8cWT=_7HRO)V([Hq[v\NLA9πMZCTVz-JFDw_˘ez 3eLŮb']_=˧ȞC˜l]%@f+Ê6T?u,s dz 7pLDzTeӧ{T"cT\M(BYtcNq>}'+|VLn,L`XԞ#A.|rYY%sRnR^mAZ|ߖ: ZVYas|LRa:_j{ej9$XO9V@Q|'L,gpz5m]w ζi⹝]m#mwc^MsINjUOH>垦fK6B_تwN5O@=0\f-A(ٗz~^+L- ;ӣ~֪@dѽ7[)L\=̝))[ꙟ_u6{/+SZ]'ܻ1UXڢ4y|~B*ms W 5Eᖵp)u~p;v6_8k|Y\ycDAmDtEጆy#]ImF