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 H+ | I/ Binomial-Queues:threads=2elapsed=6.282cpu=11.512gc=0.564factor=1.837zXZִF! Fy]ŗXf1-/6vRZkc- R0vPP OA50is|ba RQ; Q.'dթNdbrPVJqsahRZӻv f<7fɦpRܹL<t$|/AݸҘMb)M FwtV-+Z9Bd*eCB60D+s+DE݊Ψ/Y%]%P9< d]y;+{L LM9'Bi 'cgw4gyb'5D:KA|Jx75'GVwE! $矇^]7nJUv RS0eІ2+ հZ^7&-T! Dq[⺕Ջ|< WRoS cbxNXꏏİl}eT + Binomial-Queues٣+b` )ў5T)|F*|Vh(K[ŒAoEjizW#!DzBW[)Ecqm?J.DyÙ "8H IPqf*A1!KYf63m's֫5uףWNp /8 D86nnbaa]. y[9ugoEge'Ւ+U a8b5KV~Jx[i{54Jp mIb}\#%Lˈt7!Fe:&b;93y}`E{]{< }ZzoƩ|e5v^aQwG-nNJ'MƉd{{$ՀXYڡ4Kj,yW9ᷭ Z*ry(+GJ_l=txMVGPGXj\6Ô En%\2 UD0`k-JA[f0jJjeLRrgjt{MEڵ54E#R(uz"Q8UH򿞥!(la&oX׌A,j`;do б.#;s[k|g qEi#МRq?=cn)q1WN; 65+/uc8BPb:KZslϒa~zzRc(UeQECtt[v X ZLז:ޓLx_ǩ&rǹxtUR ,0GgYZ7zXZִF! %h]ŗXi%Vj8wAuB3dv/+izNѐ9IZHbҠʲ~*VrFm MxK(>6 -oXTς_ .GG[4HҮQlۺ XAV,yhnwe)#(ɐa3*Gtyx%!X ~T)?.M{C@Nϔ@lG9 <&$bKJ1ҩ-CˌT,x,Uk@b E1G%6DG'NhY H^[$Tf:>O A;EHm!Hl: R/Ea5`W 6x{28J)v;ƹ)uC׼ƲJPgYZ0ea5a344ff64d3f11a7bde39609f6be0f403880e 65c0f80769c300cd1a3da1c8badc964be8cc0ab9 7365a6d0da22d1676ac894f539799f1610b88c18 7bdabb0865258300c0a6596504bba56c7c7edc1d a97085f18e83107db9e38de7f772f74f077680a6 b33b9bd2604125086f6c35dcdbedb59ed184af59 d81829d116c813f0b97f449cc1da7b8637e9a27380f4c0c8eb04f92fa9b72ba73b988fd158f20be0 ea130132a8ab1e832f061836cb5bf296dd9c641b