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 t L|, ]% Topology:threads=4elapsed=4.137cpu=14.084gc=0.360factor=3.407zXZִF! ]ŗXf[&}H/29#rLhZ1l89&,H'3Zj-ǝ[".510C8lvc 5+dq_E!R6'/E6tqiUvg>J hNZQ\ N8tq1";fg??ƶaG2U䂉Tqn'Z[#AV]* fT5# ]ҾKJ[uӭ lodfG1SSde.Ե|׻p (gYZ7zXZִF! u]ŗXiɟqHhB"U΅/|{2͐v˦ɒس0MކEN,Ͱ@Q/9Z3득Vv&9Eeu-5 00th(ڬx$lرgYZ7zXZִF! /]ŗXi%B:g#MXUZaj].ƫ]1 RxݎEnrKT=$~-.ni햕&3٪_C$:Q 5р `MHϥIM\|b&7} Ct M!ZD 8G~YヲV!#kB'P #y4dӖk.TG"E'Pՙì2yr?CZS )Xe``8 4 *8-]6-C >n2Zމ횄ZFۗX !U= 4ntvZD"KMNթTy}в_8$&3IJ#jXr\tFtR:.A/]t;!#Qa" >u&ڞr'ɩbN@ aQ en/%kfk. yrRTGN GyuM$}Z#r#hDLN~J7?I!o9 U=ٲ`[*_}ٮF ߃EWs )\,XE?]&݁܀gЫ!A%%}C2A`R^ DQd9&3OB