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 =1 \D %S]Nat-Interval-Logic:threads=2elapsed=50.733cpu=67.484gc=1.484factor=1.337zXZִF! 6=]ŗXf1-/6vR[o]dhNZ!*-| #LS>䡩uV;N+e WR_&˛OV}d Y%v4T6qr"+#j^,u8B5Yc1҅ψ=g#ؗ$/Šޖ IM.0˯T!=MS='Ҟ}>M&;xx+s4aXˠ ,%ke12@}f*M.so@$lfAOWY~1%F/ +f:Hs{K+t[lʵ3,GdF$TQ+;GZaR7laױgYZ7zXZִF! \]ŗXi%6cԀsfU`# $6)j`r=tRV8#{Npj6`?Qm> ZEZj/N]Q,zZ=I{K,8p6g'o:߻3 H-`VO^D.ɦex$Y{G7AcI_tiw66bdŬpl=[- H v~%힨;_9 ݪPh fE0kTyJ!$P:64S0Nȓ(z0ϩ\&#؝} ñE)`U .<*/~}f4{S-3|ʾμ&44AwsUqcKob'>x|?ChOD Vv6Kg$q=SE )QeN F3Yh$n)9֑%X˕IHRР=)O3#Ư!Ȳg.RͫgۈQ",iN={GX5BU!p>† O VE%kR!snb?Av!, {4POϙϙNpl)Վ|\ Sd7ER[:Xc-`m夅 Q!j?\[0K1Q럚Wi3 /T5%;^. t*JZq:WUsH$&+CxVFvg.G~3^C06F8Ro|Ci8Z͉LŮKgY+GùMoL0C!s?$Ɉa"B rɾwU-f]矫~P&=5 bc%SQQA~}h