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 Q1 d< ] HOL-Metis_Examples:threads=6elapsed=13.081cpu=56.516gc=3.772factor=4.327zXZִF! ]0]ŗXf1-q恈(K&Կ6l#8 j`;"<2NSVVXv]chNɟ.͡.Մtն71Z;]Ö W9 /Y~˳4xXM ̞/è7n {6d{wGeB.UMyyKӋYmw9TP&*[Zx%-YSmnOT=#)WFR WU4]w7C&b y幎玟}]|N"R7"3Zd0R)o\t6ѻP'0G𲴛$̾=] *z23*>jw%vuڜMBwq :^5|4Qt, v1"c!mShI-ȅ9NlƑbK\{/3i=#i@nYܕ~-Kt'Oy#<'_X ?`&" 0nA;= S:k  }idmd^>wQ\r`|Ɔgkg Lt:A]dSCUo׷Y83M_mSYA HezƘEq4dLM͛pcWQUĦH/"Oi_Q kA$LoA%A eG5;dJe;jhCg=+|MTaQtP#/o'G{QFaSqs ZH~!>IW6? ȔS=VPm_,̶3pȜm߶]ٳ 7|?nC`mТ:7-o\?@3H4itk&_GQpoZWl @@)a}xۭ/w_l2]m.'v̨(fv^ړj֯-:t8MP9*ub$qTd4:e=^ F/ @eRLJ]kda)C$/6 k]8-`eYM6A{`:j H66owf5$t '^ 8 ߱gYZ7zXZִF! ,]ŗXiɟ1$Cܨ }X 6P]!ẞ \QMwvN:,OK1̪Mh) FM› Y$69BsLR 5C5\FkGFmM>##4W7`'lxv-R}jiglqш6dZZ\?^7b5TMsȏ5igYZ7zXZִF! IM]ŗXi%E\Ĺ_Af'/R]YfeP3&|Lw5Å~``6Fe\ 32 V6 P1 hA~bkk}ӏN.U%i#o>8Km6@Dqv'PS]JK?2dNP/h'{-xQE+QodUg/)¥vw8f; QXr]{- MD\,Pz֖'ue"gܘ]zxE~ /fj4.;\)§Y(̆dž`ȵѽ *`L~t<7$lE#jWf7]82 * xE耇ʲے#=(^ 0lMB| `9,KxZy[\QR#nMC_ Nf`=7ow.Q^llC.z |OZu=TGO)n$!b;xVFYD @fBD/~X}oAeqzL][~*M>=L1z߰|1R,*RxC/|)@T6NKHOn'0vK/>s#}coL\6pWnsj!W o_^|aI ?s}!IZaؤt;Q@06>5JL"M\+BCRZcP,gG2lK{} Y5Ń2wU%S Kp5Wf Kx=#8<6z̲_́ƙ k๜MSܡl\J' ;"N?Z`"y6 X6dV7p& ϊ,ݣ"|N迄'Jp@FA)fܼOe?0C_@"_SH_чv&2Ze '~q 㳨},ר9+}z`,͈v='Ն*o;WW*,!xc)sJ9f|Lom KIC!EՒ8@Ⱦa&6~Lb;y1Wdz9aQi&F[c)޷ uL,Q<{7B6)c?6/y5]0n{{|SÍK*_|pW@BE/=+z.øS.$y-2.m xW'$/Ädur"6%ͣ:KQ_aҦVQ&)5#ϳ$0VJ AMl74rIG"dqBC? -ϵ!x. ΒfgYZ164be8ba2a1d79fca357f1ee972c2f0a8d4af5d0497eea8787938391457661acf0f01a612c4d3497 182c5054259d818f89537dbe8e9d95f42041a820 384dd6c65ff1e3bb56c057d48994894bfe7c8f8a