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 !#  | ]]HOL-Nominal:threads=6elapsed=6.517cpu=14.624gc=0.812factor=2.247zXZִF! ]ŗXf1-q恈ބ׋[q47({ڏg_$+oot|ˮ1i PYPmF d_;E\p"\A5#Xb2TP?y 3+7|kQQAP`gdJ 'Le)(PͭT5\)JS.G/OB>t1 8nx# cUG:< қdOgYZ7zXZִF! HD]ŗXiɟ1ʹv)̝gb_ جFFzw񸧏C!x#Z4 8BD`I'{J}YZ7zXZִF! &]ŗXi%G\z0eAfwU7vPIq,Pk ,ӛUmhٟI-K)9\+Xq:l?^ĉːkyE$2wA;?eAuBn+{u^0Cs$- hh$6LNS#Z ]mfK)zY')[$T(S,MPc|;)H,&`*a[.' pq}ecCfA%Nzkl@GO0]rCI)Lg-^P_M s/ MlU(iAa#6e%G_u 'o뿺j vGic͜0d`ąT?E{Ja6XI<8yWHő87"RJLf/٬h9xn6J124$SaTvjZZVf[D_d 1:ACqkP'HLX/P&D("Rԏr\SHZ28BWB芺bKԟ &wO3U|g!MX|1K^sb3'-}"J}f1x<Ê?ZO.='/;;&y'Q孱9ݶNݘWN-çIWyG]=Wr ~HbM%ĕxF*/aPt]`ɳX[Yp yZb{/go4znIS(9&K}#7I`@T wG~:zpQ#/E14år"j9F).MxG6BEtHAp8%\OQLɶw@ 58v1#CΣ8&'PC]l