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  g g7D$\ ] HOL-Real_Asymp-Manual:threads=4elapsed=0.454cpu=0.600gc=0.000factor=1.327zXZִF! g^]ŗXf1-q恈"RI3$߶nn#t]&(_#e<hzh=?}YZ7zXZִF! XO]ŗXiɟ1_s}N,3ÈeGc>vO5PK#ϋ5<au3SBRlf,']?/Fe &uJ\1h_gٻ!'h{;E]:;R+"5m;J9vxsf8ZP׸̨XD8`agtpHk}B2v/дr[6)єanpyn-tMLM4BCUYD*iZؐM,0z=K,#p'{6#/49IZ֝&uA<+XK ms%LP9(V˖?QFj52&-DY>%I F4 U EO,UD0?}g٥ ^ L7L^GhW;fo\8e iVM_x>PΰQLj=&i䨛YdP'I,+h)gYZce1827c5084bfd24d1740b1d5394ecf7bb66530da3a1775be1ea4baf5315ad6630d6c2542be8f5bb f26beeb3a1bfbe3c017ec6ebba6c47c11fc1158e 559ffac927660a5262893e0952cf688768f9a823 7 HOL-Real_Asymp-Manual