SQLite format 3 @ ._ 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 1|@L m- UHOL-Corec_Examples:threads=6elapsed=189.265cpu=604.363gc=107.848(/`Y~] \( $ &mi?@ߨ5FG"wb TޑM ֿbԯ3(8*B|ҳ~,,ξ$u^2M A&<CHi>̣_Ry$ Vr$B1a@Ub"I0 X\D$ƅF<׃Ø E"yiIH" HPX\hh(H @H< 6H(&(<<@$Pxx8 ɅF dRmU>X~.C5ɪ4`Q^P}{gKvTN Fh`Dpp QXL,8-$ GqtApH*<0:F» mj{])_qp:n#m7FDZZ}heV~Ʌ%uƬNLTS쌦\]:kdSՔyd[NU4tj_9ST5S! Fbq1YcupJmdBUSgD꼺=Noc5X^W!0VW[MBtGufVY=?m#:g̛%T{>2YKy}嵮8u)v;9W_Sпҋcw9&딒u%{W/枊duu\:zfq/g;.h,kB`?/w< o3,_h1]_u{;U][U,NMwծr^vS}վq3WVLs먂P dy[{@ Pe1RY$ ~Oo1O٬D) 6s{`j7_mLJ@Qg,3e&7! Ae;!c5=YpZB.R-:TvghGuIаۣgZTIP#MȞ 06l=ꡘQmU%Ix]T11픳y@3Yy.m]]Q<ԋX-+|`Rϋ+NC.iۇ挙*QY|,LHpy87NwʪbE3飩#^7l4Kr+7t>&(c},f8{n2vS(ﮤ CƼuF!W1Jb0:gΐHe \D2$y#wܭ$nv;|iMUpf "W\);/ZK拫ND7Y}+Y~Hu vU`c9/E#9I:WƼoҌІ\dp<WL\E:SFOt e"sAyd'6Q^#f*rY&e\n`rR?*@ 2Yhz%M0q4@,L葧̂1DgPO#Dq2Ƃ'.Y8nijZƒ"FנՑj"Op'$˪vAY*l2 jۜA0KNv5 Rq'\C0F-*=>Qa3LD.(t ĥ\z1&|ۋ-zuQREZ곚` N1X_5Иа.m4ϠS$bkle[ r˾׃Z2Zc̓\}ҿ?1^MEO)6Une+VccFa{ARBX>lyoC _ 1B01Q{Xd*i:2+ ${4e~g|6A,$QS2JD ,csIBE|HK8 5/