SQLite format 3 @ " H " .f 5 T11Stableisabelle_documentsisabelle_documentsCREATE TABLE "isabelle_documents" ("session_name" TEXT NOT NULL, "name" TEXT NOT NULL, "sources" TEXT, "log_xz" BLOB, "pdf" BLOB, PRIMARY KEY (session_name, name))CW1 indexsqlite_autoindex_isabelle_documents_1isabelle_documents --?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_exportsU--]tableisabelle_sourcesisabelle_sourcesCREATE TABLE "isabelle_sources" ("session_name" TEXT NOT NULL, "name" TEXT NOT NULL, "digest" TEXT, "compressed" INTEGER, "body" BLOB, PRIMARY KEY (session_name, name))?S- indexsqlite_autoindex_isabelle_sources_1isabelle_sourcesu77 tableisabelle_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, "uuid" TEXT, PRIMARY KEY (session_name))I]7 indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info a a C=|$< - UHOL-Quickcheck_Benchmark:threads=6elapsed=311.789cpu=1559.363gc=73.573(/` M"@k}Y i-CfيInnJ(P F ? Las,O-JQ (Ҹ`a3 "Z^ DxHVKHFHK@ @ Y$)@q[{6gqP(M"lIop$fr*YoKfM$'|iw.dT1mV3}Quk3e֘u䥾 %`ka:Wȡk0۽tŨ ;gSl͵U7䵊K]̮0]JNʩ魈A1 $2r```a3C" 2c $}?*Qһdgtde&C./FΗ-8P^drF d=8ڍrG(cm1:T0H eyDF fQ"X A^ka]2clY!=kYXsFڌv`FeE&{bQ@ |جTa*F(A"FDMHDf Cd ̅W<m-0"8Z)*8Q`QO߽JK<HbQPHn@i`Sn/\r(/`0u ' Pg +Ťd(f< 33UZ)L4%8TM4(YrpCk4hpRࠇπGp1ݮ^{֚{?xKp3ipg$FEϸMt P`@||rZX k0 ,AQ (Сnf3(/ dBJa5!PmKvFOmW7wL&L,4!G~PqU%7?D_x>Mtِޡ@BQP.t?7qFyf♐LpŏE"dV^cQEB^fFWDuRM-EJ܋bڌ+قTa }<&lؔ&M毋2(E-g+d!?+ 5eK]$&Smp#e>3TܮKG^Lظ_fI{/VEb3_s2i*^=1ļmMLRNFvn&\jR#Tf&ĝn]H6J& ap(O l"I1ѬP֎*gCh֨4Nj=DMV"b)G)BȲmegJfjaэUx0jւ:Q0W â|!ޕ'[zYXUOFAFd-zQxUU[K8kfVQ#HҞ!83WL4+ʄayB.AUNĕg.w`8OC RcGbV" 5RIn;,L^Bh N} ` .VQ , `p> ` ` 4x@ 4p0 )( J"@ HB @ p,(8h