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 `` ) t  Landau_Symbols:threads=2elapsed=14.505cpu=27.848gc=1.484factor=1.927zXZִF!  ]ŗXf1-/6vRZ_rO⛞[\5((jgڙz*1$gw(pwrH?sSfVmI u6k=[ _JP|똴Z<eryYcE ܼkU%SǦzsZڗmhX^6S˸CчakUU2w#7#be/v=thݧ~|U.3F"`ulZ̨4uJ52 ) Landau_SymbolsBM|M9/NOr!q>Ū7j73 0]i 1`-"E)->tC p_ ~ ܹO".1+,MT53L,`u$ьu@'T/HQQcK9r6ſ]_ ~#A n&DNh"sk 0 e B *I=<\5  Y C!:T~ysxQY:-T~t: "+]L,½i*mS#^aCigf}*#i$d# /-6ACNYե+i.ۘ^a"yҔކ\n`_iHx* jI/hdn)Eêȥ$!ԓ?B zMjIq?= 46ROL6K7G14gMUP{‡_k4m3}1=x1'z˗T-H~Eբxi 3PYfcO Fxc/@hⲠNxZN^i$3V7̞ŷZ8iB*m "(lZE"Q@^^FMZ4SMu)%3M0 1.Zܧ@1ٻoN^ @ HQ y|.(]>8Y]W?uAec;$ jqݑxtO3Z;;ZE6Pвi3=?;d:۟>lۂy Cvu?+Uam>Y; ۂnip2aEa>8^?ki j Jp$7~]t0nHhPO͞?Ăt[ˍ3f3@-U`L{ 7-R;zmw hU/A H,rM;+뜩(қ߁-a7ՠsb \@lcNgV 0jUWYI_D2FͶaG$/>,J-5_LW:fJǩX"gX말bQa x?Ĉ:_v'n4L>Œ6k'! dz3Odm zy")j9ir6U]"7Jd=RCLfzͺs5 Q\ Y<&D@xZT %:\.K+KV{+OAp$|rh(嶥) ik*\/Ep1(ldS ]^BOTN |E\dEIoXޔ{2Vv1 t /BIH"1i͍H 5JRboS v6n\ˠYxM˶5/VDe/L.Q~1e>SM$7 T_AfYq'M_cs)%~2 Ngms:rrxK!z$9:vZ=W2V;L!%<$d(nr`}.!p~H3o/E?HmJjjI?qFn5nDK 5޼_.]8łx! ;1:% nv s8ܔѮKߜ\٦1hi6M@Q<;ږH;drhH}{1tR&ˈnz܄!TZ=,6*6H]w eRLo&E i&IcHT0%TJ3ɥ؎w pvSA) @/^Ω_gzd=;~^}vD!{܅h56gYZ7zXZִF! O]ŗXi%:2•LJK IN.0}#JbKHZL