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 44I1 |lD ] HOL-Metis_Examples:threads=6elapsed=12.680cpu=52.156gc=2.952factor=4.117zXZִF! Y~x]ŗXf1-q恈ŕ׬[p){tE7SS]%Ŝu+G˿fZfm 9D똓 =J(}hX^)Hݡ\uhN3*(mjJx6T܏W_W4,[bw. &R`b])H"e/ɠuQl, tRZf|33Llk[[Nq6$2 uԩɪfHVE",$sy/;"x5ԧQdYAekh.[O~"RMF ]E"Є[ɘ-!:O)*sF q_&7[rYTῶ9_ϒpEܫ<f^>Fy~G G@$s>bB'} m궆|C`D!02)?l ? ؒ] T#+d4聊<.ҋּ\<'釨a_E\]^ŗȈ#q9,Zޘr$W(ϼsz/rGi܃FM =_)j\ķ jH8j+ q5l:Df%+ϲ\Q3oЩ^1hP I.P3ORwIܮF]r 16b,~L:s[po#&`WxY)sU_ !hjĄn>o2KV6pq<)6ռNBowl/ WlE^#˜k}aLJ*f] nyT]MQNSX/ ䷊c/XUs>TiNէʲ(SR)tu1fAle[ʵS )^"Gq lrDj}d-j\YnekLYJ_,*iɵ00(7qT >[UB -#sc R#M20Bv)xRdּ`)EBNC ϙ}V992'䑀 ARdM,yNlmKD`[k,M뒦aIMP܂^ש(bG.Nv B>j\JiT YgYZ7zXZִF! -]ŗXiɟ1$Cܨ }X 6P]!ẞ \QMm7 bDr5x㢻N?HոM]hKWiݳ]B"W³_+|TJe`dۅGz svpl>47 p6Hϐuն3(^J]"mg8$!n(G1M]Tr&To8Hqw5` 垠,a~+/TS={;o;&\M&"v$9dADknN]޿-&BejН.B ##>~ y8ob#+4` Zieh}" Dܶr5Vw39`tBN= %"Ǯdƀe OPgnYN@na]L|> *%KRSki ڮeA5zx#Q.?3cS/{ @}wu݋>/7)S;[u%sHƻh[w^{ ܎B$նL4lʶ|\&_q6im8lK`Q 0LMf E(q1 hM@eղʍ7GKw`H1+'>KftO9Vf?ve8ے%"HѦۦ >LP$;XuyQ7UO ֐LSZN\~NevD4w40![~HԷ?p@ 2oUiV g1Fj5ba#Ǣ*'q1Ih =ٛo(JC5`Tmat@-$Km37 h4:F߮mĎK=p 3yp"ݎQхp:Q'mVĶ8R[~vo2>>pR~++/>?0坊<}%ʧY 'أ .24F4TQQڼ'XIScHcЊ#|n˶P0?80Ĭ8*51W)TrKJMdף/FVMa((4Qf8w% {cIuv\bݩzJmbȘ+AIUxDh4&=sQP ^9[MS_0]\WP|k0ٌ=yFj!J%XaS]F1?v(ENڒ=u'` ` 5Y`3HUH*l 4Υ^sZŏb8n`ČJ 6 wX