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 ))T ,Ld ] Corec:threads=2elapsed=58.299cpu=83.832gc=5.580factor=1.447zXZִF! ]ŗXf1-)&$c)zaBcFeN};0Hw;j/aHAE$hFtw4f'RT-J>ėm!P?q%y=BmXI5bh:NlY;(vwDO+^i2X!!3A7D?t &,>7^'waee]l\s,HY((1D%DvRYVz]Z6&DpY፾eDcYR"~/{H"bJVB+&o\j-\~䲞" ?$[%Xlëdm>Yܯ&S%;q>L WWˎ5|41gYZ7zXZִF! `]ŗXiɟ&zLo%k{V6W9lѐԽ_x=[ >o%~W)kP,K:{9z7t;ζ]qAB? ڎIU\Gy2 ) .1, =簆)|E5<~a3G` @쑼Jq}SF.SrDH#D` :!QQD Ol[(ѐMuRO<3rEُlz#&=Қ5VraPǾEJt5ug^7n7ɴZkDr cJ=MhD#!؞1uMMa$(]mHŔDdE MSHb@] ==c@fd/:I$֣h_T}}L5"(2kL2%BL+6?ǬY7,huE/5 6Bc781uBt[#`Lt^ootuid]e.HU"|jN|y~7\Bl*Id=u\O`&[K=h֢V `8i'AzTa7)8h]tx 4#*Ps3mV.p1M@KTH_mn3,ZG+)Ժ{+xǖњwQ`0Ftx c;!}Dc8ŽGuKNmh OdQʠ e&ue% a$~Qww1 ¦ޝ Oז펊W38'Q^d':J=9Z ^q~[q҈EpRJUo .8K]/ ⒆TT˹6 وCWGxw!c ,%v˲! 2RG ͊Nʡ4^ X^m*Ŵ#S$?4e5&.;@ |k, ˌ8+haǖ|7byAיƹE (cHH/<%ՉKMkKD7Gߨ`L X sr5*5NlVq t][tbN}?Ny7a#"; .4HH=*g]3i-ܽ*iK[룇Ԁ*3Mmue'4p8eOZy;ZISJׄ8Ee۲Wçf-򖎍K0"I茰[v5.=,? 롥| s/;ݐIhe `׶1{KR T ] \VT%f^^gUMkaKsP ޮڼ^D#F8ݶr=Rt&UytD*LMBHL^k.ou[i2ޅCH$9BؕDF:S0Т1z