SQLite format 3@ . BBh77otableisabelle_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 tt 1 4d ] HOL-Metis_Examples:threads=6elapsed=11.910cpu=52.780gc=2.680factor=4.437zXZִF! WT]ŗXf1-q恈ŕ׬[p){tE7SS]%Ŝu+G˿fZfm 9D똓``vs:6 CClb۲U1V1$n"9)gF1v_%Ѳ돾:v_4Jn@przWtLkn˿ uY>喿%_%u0$~P,.JF=5 ?6k"zIl5[٫z,Eѻħ*GwsDa'n F!8X<&$yZdQ[Uj)6$V6}^re\/lu?CoH:ە;&Z0d 'tV4 8up[ӵ%{!ME lD^ʼn\eD>) T֐cSm FY2_L KmB3)Exavzew s뗹'm(;c-9#MZlbհ\5#>Ԑ8/DJ=W<KӪ ;ēW[֋ׯ=vi"R3Հeb S";P$VOGcʣ9 _2tJ~1=:v gte@#;Z69F(F@Z͙%ى\##&lin@}zKɮy#]u) P4?ˤwl";"zZR!_n[$xNͬM5aIO2II;B"v-f[x@Eѷ_|2%x)ٟJ4`"1ڀUY^xRbhw_ $UҾYkB,Ε)=4mly3EYS9 'lcƎQXN LJ qX0!;Ku.AvSJY?l0Ҟyxm)`o:%P1,Mzfi﷔ט<֬Vx Ƹ*YgHs$-ʻCUDH[ ǐgܱؠz&K`znibexGD(&%@WK)œqrzoOVa<݆S+{j*Y7#,e^UoN ESgYZ7zXZִF! 8A]ŗXi%6Xr~[\n+#eKr$c)遠X\oߝvr++գُG1jhgG4PFxk6"B&eKmf+I笯=!VmY'0$2@~:mFZ "kt#1F?{&ʡ 9ZՍp7s0(OkB+pjP%ٖq|hO浄djF@nI-J׾r0K\e](20+g0}}02(u!k]F+R갻d~/vX ˶g`Pq2Nևi[/?ϛSACVk#I"yJ^~>U6KMj0kdS\ A =G*>#hyN#N85CHrPWn/f\7#e~vՒ2: Zot @po} :R5@b %6 q 9(lcQё"dԜ@sGo4Fs ˙M _JTrqVM^>Te˒[cVGct(Y 8sr2=t`M/ʺ<W8&f%wtlg>j@t^ paAc qigYZ0a97659a23e51658b583ee889efb448d9e37e2023427243aba6cf13954f2663e89dd0ef448f9e0ac 8098a84a13d7e74c846fd42de0efb751dc599e66 90b35308e6ad83ab058e2b9034c34afdb7825425 1 HOL-Metis_Examples