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.232cpu=16.148gc=0.824factor=1.967zXZִF! ,]ŗXf1-q恈͐7ӺV 4{ŴH}UCkAF#YD`S\r6p9nxvPXM!HUr<{I6>=/--Qdx&.F Yz-dq3pTTԿ֝sv(sAv~tNW ƨE7<7`LTVN'wħrZ¾OoTbWPzʈyɋaaUBL3),mrSe~Rla\5¦EŁ'_5H#*MLlRmǷt+J"-}z`߶L&iZ6;%{W:c;_{HZ&V[fW2!%gW[fc 6m# 6VŊ8]X~/5g l ->Tb/6f\\l:93?3p1/hZd:)ZQ+tt3M\3%ꯁO0c BP~G9=K9 Ns\{Iz&\ȥA<bOtlP!6ڝA8~"z"wޟQq$؟ӬI=us5碪P!P++}~D37749!tGC6e|™}orm^pO9T)&w$WDMNs~4 cZ1 mN԰/j=&%@/Q5ML $jBҁ=SYu`]gYZ7zXZִF! '(]ŗXi% 6ua(Gt9A!^4zʐ)~ף.7jk-tғؘBg 8?PiBP٨ԅbK2X5 4HÞ)qpR]^5 #I'qUGA NB9 ;ύ__f ċ5<ƃ @a7N<;uRJ~ w'DxGS%buFoGa-bUdg0 ?LUr|2VO)I--ør#o>%bf;e^e;_b"k0?>H8I{"ɪ[9$*H(+dݜɍme\ ⍖mh^אpB#q "OFpahʬ@++V}.sj;mjVJsd%;D%[[<ɣKW뱡Z*WUJAt>ٛ*ރgH=P(!TK{R <{:lMU dX )H_dpJwZ:wA agiH:I yu)uW