SQLite format 3@ . BBh77otableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "theory_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 z l\ ]]LTL:threads=2elapsed=30.689cpu=53.372gc=2.540factor=1.747zXZִF! ]ŗXf1-/6vRZ "@`$%#@tHYMzGPUD6D[TBu- SE:!F1,@W-3B[ Rp|/M>S,i+d?)Xjٿ >dUÇwE)/릁!cԍ_ RyoZO2LUtEQc/ݕpt#7;N{9xL4Z8i&n:nd})9)' 2g'Oxl2 C֯yFk@t[*zerf*8):7kx%d,o+#cJ4HDIȉXYA%'j& 0"LoЗrZdTA2y`Ӯ&V~!Bw د7ڃptx@ =1QXn,kVnsSכLӰQ!P3dj-h:V)n)̄9Аw)Y}OQՕ"|Zt->O8Yj0 ґy[E7s32CId-oܛ]ݩk}AFgYZ7zXZִF! o]ŗXiɟVNJ`mÂԭd/oZJ c18?okC9 "Cjv%t$%X?j J1e`gYZ7zXZִF! ]ŗXi%9(O#BЦQIГJ6~V\E%sij`EU#mk bAA*l B}t:HH!Y N<*fρ^ħDVzA-9-m'4+gy MOKk Aֺ~17qX+x}<1I?Q"̲,grXk$IyP{rx2}e#'} T,iUA6l i\i]i/~>o2dK="#X*"vz Ƨ Ĉb>\1C:Q&-zX>qv>+ݾ!tZ]sDl  CBOQ?BM'q}78(a?{]NhȦ;ɕ@-){ d߈vx[Y^Yv m K3О4L`<)%i*8n+, }?M餦Joܙ".Z6 &('#^w*0&N# ԺrK_ tdҞ O儵MLLFk>lNwvuO¤W(͓k FBGdy֝g\1 r4@AzV.a*#~S|J1sR?f2E"Bɝu.Ϧ72:EtO#;u8" GB [sIĭԐl4"@NHV-0vaX2xJmyH Ryv9"}񔑄:&%ԁ{3 pd {"6*;L%([e+OKL;Q7HzI e%mO:.7 zߐV¬;~3*AСF'jf+AL[3ڵC @'MA:w>0Z V&#Ze|d_,&P31_u4x w>ap pm2lK^eJ^J1 gVg']U/RLc%Wݿ#9uZ#+*X^>CnE)u`MCBbaa8_ W5MA-/S;eXŌuц