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   \  c/ Skew_Heap:threads=2elapsed=13.979cpu=25.820gc=1.664factor=1.857zXZִF! q6 H]ŗXf1-q恈͐7ӺV d>`;Gؽ8n򭖈:)FuKȾ"1-I~PѨVVg~^   Skew_HeapکSrQiQwj*K}*Q 0б mKn>CA?q^IQnBl)\Ifdz"tgR/)]ۉ!x4AR%dƌ=S̙8}'WCrc/o/@"8q[% 򁂺3 ND²xPe7%2@B7EhR+i!_]"1-@*/,BT[WIhXFg@w-cpPMQq 6sFm45ÐWB3h KOK|eHrڇzYDV[tGp?i7H Y3d4)ei' k}mY~[H ZA`hWoJ{d+޽ !kĸ8b\ |D/fX%7\5[?bdtǽR9;T^7A_3)h4j粌ņABK3N&];-(2^ WBlԑoH&od |4r kFv5#?ª}Q_On\h iGkU%"'tqb GkzԌٸZ~ָyWdqC$b'$Ȓ0']~vwQvnr)/ ?gq=C eY ^!/viY+ ,PF:ҪqͿ.V`-ŋ=ltPSXs돡2UQdrC. Q v7R4#0%D)jTk'D=_o+xM\߉Jڲ WH ǧ &ߩ-l:j^ #h&Jm4=aXj?|nk(s6$8mnG~C ;J[%VhfpA@H;n9יGFr3Z`Ӣk$:>%~7XpwP 0͜o/j=a@3yL4Q)q#Y.U qpQz:~)5-ձ3|[>:s=ꞓc^`[Emn)T0:,~eׄoK!Q`pRmN^1-˜|C!yv{,kis_3tI7@&?PLIL(N?n zge#m8VWV( 9|G3kwZ2))Oi"\ҩ:_Ճc\d'4 xXx=M`GPo/W xggYZ7zXZִF! H]ŗXi%:UEcɼE*dݻV}#u[E{BE83Qb e$Eep8|ud7tH!?}u-]rH%7l|(ɔ}]CH>Ս)W iNNoI9=5]%X%Tm-CJ[VʉƁlB'B?͋&ǀaҌ8Pǐ0(*Ju"ʦT5H 8$*g%${4bJҫ[^f>?n4c:e SMVA7 ֭I+]k!O@"Jc4 #>1=֣c jaC(Ju.}Ԉ