SQLite format 3@ . YYQ77Atableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_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 C1 , + HOL-Metis_Examples:threads=6elapsed=11.934cpu=53.064gc=2.944factor=4.457zXZִF! WO]ŗXf1-q恈(K&Կ6lZg ; Ub|q`?rhtb^$iX[ƠLq㸽h f>>kx sFb?Gk .gct.|h&r ԯSﳿwcK]$] ȥ^JAw>UƟPj}DU[v 8V>&rTHCICCA:&drȉrluB;jܽU!,ut]o}hXy sn9JDfPS3xCHh62w " b>%`[;'T!:.1کv&[𣎻R Z[Q+o1QZ ^_8M,+3aA>Жf||4T1 q:%*DK[a̽H$eWHwm|NHCP$v: qd¤8mLiI.䯻/ƷY{Oc.oK92jvE9Hv}qt4%U,U7oպKE˩ 鉽uD0 %y+欣e4u)+:㴰&@#w񮿩;1򯆤@׬,\ 5oSj@<7S٩5`-& |R=ЕM>f|H+4jH.F͆Jy. {Ձx(nQIP EM\w7beȚƒPXb"CHkYh<ɯ1±:=tb ҋ?AAa @T.)CT$IY%O;o DXBkokE3\PeVzɾa]vO^yX5K༛F}KԘ1pr/x*O8!i`so RLn+~ -Z(o ggk "hpFAk/Of8wAePPNs!9fҊc$(u`\ 45,y ]_6*8@`hwaMňj٪},KDg SF(@{r}oѕ5.ԎO|,-:Dޙ/96O܀te, e PWN_'IP˧1I5pNr=hՑa KOkzƲi&9K2,}JgOҒCkctlvĉx967\8eM:yOZQ1  O9}Za=tB,1s1ɌVY%sxq3&5\d$VAȄشϪE8&w) Z [ <-0Ҵ.ŧ9Hg·o@`-X- '=d $_Vǂl~ٛ] NVd`A'J̍Yɮz= ?ggYZ7zXZִF! 8]ŗXi%6GdBc>UCx:p!̌pk DI,,SOe{ujCh')F~S5XM>4͏wVg-Q)ZsORÁ|\qCn<\rHu;T-*ROfY ќP2<ʨN|dk&~R'A86Z+XCOT`Ȧ+4c0C R롆`ȢRPjmD]J H_ *Hb-ceDTZiu\!.A=y=WuOD 60(gfn/f9BF b8 {ZߎoLH&zi 2dʓKULhbJF\{ SG<$@L{h5B3i JX`2Lk͙GxBQ2+Hs3Q3//2vUW@2zy0{\S"՗K{@V|WoID7#*[\c[8 =