SQLite format 3@ . YYQ77Atableisabelle_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, "errors" 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  2 2C/L, +]Regex_Equivalence:threads=2elapsed=61.794cpu=104.540gc=5.136factor=1.697zXZִF! -`]ŗXf1-/6vRZCV4 JpۚF։}fj.gP -+e" g{L#Qm,2K-.d)bi~Jrw)G5+a(- zSOk*s[!}Pkc/wB=I`2A䏙dv}Aay1Cg)▮Le찮o:qܴZ}wBE'.3qrD <5xRaC7&ӕj|]cu,A{N/`++N^FrۣG051T,ܸodǫ#1s8̭9M&$u`rI$rS0쓎4PBy `0bWH~Ece7n:Z_ͭZHhx{Cl[i_LKyQ^(Wȥ>cz>2{;0ŀU+J[v|aG9B'Sd^VcC]"|BKsKْ¶n& Z襬gYZ7zXZִF! $]ŗXi%6_zttggoBR׮2c_:ZɑҍkcE`[Da,퓨jgb͗y*ΩpY'oc䎣 t>*1=}MZRy\Wi}!W79&hXocAO(BK\P#~(*YJ *Đ#B[di HXj_fT/}2N/9{+q%ei"Rܠ0eLMQtdV$9hJMWT}qC K I27u;|?fl@,n΍.d110{;Z"Ri& / Regex_Equivalence`WZG 9}~v"2 B筀 <(f&9N/>WzQ/3U,&EFE{C̠'σMYHoǻra:٢m:ݦί/spu%K5[ Bȁ:e&5BWIۛ|s>\=ͩ&fTyyq2\|jAPr?pd Tr)CT1sd1JM&hS M P 4M0Wtއyс:#!s[h3hI<zEL+,A]5Jx1e5Oz1e Wu#x T4ޗD6sGePIiVB&q41n;Zacύw8 ZEKzRpr ^ki1й8il3<}ҟآ‡GԒ<#šGEw*M":# /ϫu/Tb͙52W?/'`܍S m2{h@:8vB0 *v HIu5=u$)n 7k̍юV{q.B̔WdʟX nRYBl+8]LYZ!gt c~jY7w- ptLa3-V{bqNbiL8Eb$I~+af+==$׫ p@Zdt mx_:nRQ#Hba'j<OMk緡.#*@%loIر9Uͷ_U,KޓQ(B~:YP{jZߖҥǚ<$RR՚ȊJ czծ W[1$Kڼ2s4eZoCMk bi1=R#?;:l9N3 FpN doqs}N6=ߑz^i5i $ 7 ah|Cph29ܙa2ȶňV2VV)1?@$-_J: U`״H^'5`Zmql9삦 Vq᪶ʿ OY ̸REjĊeK{#Ҫ6Nږ1)2>j娿HٟZsxR#mwi-1* & K\)^}`Qs@G2k%];mB.P,8ۮpAtaLZ20A4OW!=.$ިuT_Ҍ|-KK#L`B 6VhT|ӵ P]&