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 ] $ D ] IOA:threads=6elapsed=7.288cpu=29.280gc=1.048factor=4.027zXZִF! ]ŗXf1-qN50^Xݾ V'褃)*%\i` ,;K/|h)\M $'V[{nSd,/8$UMxY#nùc[znQfCbZȯf][Iv:ՀJ'"_+Rpt6PO֞DYKG: Y7>%/6JTOH.i$ Vy9O+3>I _.&"K$OAU&AY:k޲Dif\xe}UV4*4J89Y@UXu(agi]Q1s<=a~*VqP=iɹ(:۔-UqLn N v-؜1ۄ4ᬪIyj^\á{J2']?>R췜UΏ+@hVJ%<#h(~I֨,r?6,.5i\6|_I^2̬J 8\[gYZ7zXZִF! #\Z]ŗXi%;{ȡzZV z1(֪](zik6bJ琲P38 =uObu^QH4ذ:SfajU`u2Rķ1-V j4@Ez5o@ U=o"/Y+]AHw}saJّbQ җU0'/>{ 16Q>[_dEJANlė\ھ96or(ɷmVmDWuOShlpW ՒGL@ d2 ҄az.c,u)y D/<,1Ϡ~̞^5vxӯٯS_=,]# *LZpPWvj\R9С$.M/d ]W'iQbl(A$+0v1`IJJdԉ}uҗv:g:L)Ŭ 1`>ivk4.(p714ɛD2J҄ TN+QuV5z6zK#MpX~]odfoN\΁,|d('j%# 0iSdt@!|)m1" EQhX1S+%&9FOK/gYZ82a5a95165d53547b3b4bf49fb51e0021ccf7b19a3ca72e93022ff3a13f721dde80608155e0e134c 03ac95b81282031db310f795682802eff540a88f c62b1cded0d9eea4a28ff9d77d45788a829da132  IOA