SQLite format 3@ - llB77#tableisabelle_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, "sources" TEXT, "input_heaps" TEXT, "output_heap" TEXT, "return_code" INTEGER, PRIMARY KEY (session_name))I]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info Q+ < %% Cayley_Hamilton:threads=2elapsed=5.522cpu=10.192gc=0.252factor=1.857zXZִF! Ft]ŗXf1-/6vRZy`ج] tv#[/ ;=!{FfBc>w KLE Ғ $I,|TMENMgr0xY@wwJ_^#2Avƪ 7a:8E?+KrPPU|#9|gsZR hY 퍧7]S}o0JkkE5YQg?Ql7q}|6)0 .YKp0-0xIwx)Mj,CAn3gmfo#Yg5`IR0Qn;A:"މgDy;RIt5CϠ='o?.[?lG<gҭ$sô:%wB!uO~gyzv`M+ +P{nKDSZ=c6nf8ס'NyѪ.qϚsshNT- {$h>Ĵ c2V/7C5!6%id1II8Zhx!#ܻ<ޫݥzh͟}nW'F˰ضf.;)a")d$D#}*bDfҍxtUapgSeβFqOuw9 46W$txqsA91U:(} hB{|tϦ)r-bnPUN>jMH=wA2ڛ9{.ZgYj ԉkݏ 0Tie2KDl1pI<f8{u@g[Ov[ 9 xc7^ɨd>h.uyQ"z]L͞rabf gYZ7zXZִF! %A]ŗXi% Q27M엪E.lZ9!ӕ\j*8F[ދbRaDp#[~iH(KK=}b^h^{O891v7[4͆z^1ϔ{0ο5SS761(`b%q1GŜ ?mO(i\Hr>WT7U_WB<$`p пTM8R"y`ÍRn@Z|5e>J{d ֥y6;l#aN,vojB[V I痍ĉ˚M:vSZ/"B)v5'֜2ZW'Bfs;+Nt $ hz&V٫V(8y|ݟEV>Ջ6-T 1$P^Xq57K}~0lDS=opE+Nw*RyDi*~*5_}~ !2 4$Qgk+}m NE7`{N &0-;nJVkojX)p@ M|k ilemܒ5^Ubn4K͑B r֤e$q9-+R6{kZ2窺,',