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  lL ] IOA:threads=6elapsed=8.182cpu=33.044gc=1.148factor=4.047zXZִF! 0]ŗXf1-qN50^Xݾ V'褃)*%\i` ,;K3g@Wk cmtɂ55R06gAHFxl>aȼ}ҟAf]e|UZ;@,g$:QRUü`v /-\-p=2=s#@J*ߺ`)*nr4jc`ΟZ<P 2#]#T)dp+Y>:iV'{ HH+L—x!7?ZTaZqoA cCe')w"$uegʶvo5YO)BaI\hI1Q N _w@H#xLyw-W{6~ݨ5g!|+!5Vgi 6spH.'6H8 @#8k z]3蝢cNˊʾx'ʧMRgsιqлs\($_4qެ)*%a_z gYZ7zXZִF! (]ŗXi%96. rUsm-DBgX} Vwsa/W[~4MׂHw8Mb2PCi]zo'5zJ2|4؜BݥFOҠEَS5L :N.wW-"҂)Xl"^{湠F}*G83sle ێN~^M:)=Xlqұ$V\9&xymȭwHު]DMfWUf1Nxǎ cq!}I@0wV2hqIik&nq&0'=f`|~_}D6f٘(8BJ5 X aȰW.j 9U-dyOn~i$e07tDD,u Cr7YR3HIA g$G?֊bTQ *J$r1Yỳ ,(_SKPO"aWbɽlv6H X΋|ŕ{?R( nǩo "c>FJk Uʉ >zL|WjQ[Ť FY?vBtWa,igj`VPgYZ4f235fc7a6a1030e7388d67892910d17a4e22b2db7e847e721809281cd40042e7df94b0de64e4297 d40f74ab6c572f5a7c6fb839c79aeb7813dcf391 7d047f4521361a05ce8dd7f47ebd66b40047b4b7  IOA