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 %# d< +/]HOL-Nominal:threads=2elapsed=8.290cpu=16.332gc=0.848factor=1.977zXZִF! .8,]ŗXf1-q恈͐7ӺV 4{ŴH}UCkAF#YD`S2;XuI;pW}N% \}QI1%8, N;1+gv(lA"7aPax6y!P1-Y2xtk90F8(n*^ub$$< B_:MJ{FxZx,%+j66vNZ9: o3kO|0V6ewbT~Ш6]TswZ5[X9 Ge{萷[]%_/yP=E\( @p CY MLq_a%fR[ &! f~кݤ9fFCgWjEP;6 \_]Q u(NGE\aC#vXRƙߑjqPDX B͢G`++0Ҭ TXh=eAt"`'!Lue2pN:dnV~0iZ&&f#~EV!>Usj2S{sm 0. X޷cs?XbbX_$8cm> to]á # HOL-Nominal6J"iKbԝP{-3ء>EM&НYGƤ0 o'8 h~A37hiGB T@#ф݊S rg~֣i)*Tlw>Z'u\} 6s 8Qۇ{]NMʊtp Zg,r ߖ(IqCrN@5X>5ؠgLrVxC_\ SήMPj=Tx RZ޵̲!CݧlG;ԩQF})YĤ'4S02!/ZogW5t>FLNxWJ0N-Oays()".WG@)]sЃY\B gYZ7zXZִF! ']ŗXi%2H@*AԚ#WS+oË>Qb6B;(V{#; 4 c7ean!LTt 6 ~C;-fȜSYqV5>| R&՘] ~ )zN;uƄ~x]sfs{m|S,h"m r `KP,apԞxiMlz͒? G ז9ĞKU9`"P :*C٭<0D5WWAz2d|BFB&OZ%#ًKu![ڂ.1=]UUVQx+Gʥ\8#yƜؿr aY'0\h,4zY.ąxԋgYNW/?)34J+gWc5ARNeJ'85+PM1 ktn]G&4TBnW##e08E=ĴvFĆ9ȉu'tA9zNPhGvij+Xk)#