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   TD\ ]S IOA-NTP:threads=2elapsed=7.541cpu=14.248gc=0.808factor=1.897zXZִF! c]ŗXf1-qN50^ Wy<#HIA%a?dO jI(t#TA_F"%%.M),7*Fo/4R Bi"m_ȿ`cg.Dvc)4='Mb%$![ܗ׭i@Rs?+ cD}c:YZ W~V|.MPA1[S%cM@/lh kcT́*SPlX |`P33 ;b"^Wœi#+ tDR|gYZ7zXZִF! ]ŗXiɟdN@mP$UFr1,I3buz(׌צ6ۼ[2& 9&{ȿV0V WEI$i,VD>-3fO؋n1ӺO_QtHO#Ũ#u/ڹL3m[)ֺ8zwUhIŹ=)ɵ4/O>Нɡ5s3Wm^~>gYZ7zXZִF! ##]ŗXi%;X*Asp >%YIwRx7XkG݈5 i<.&324?1Dե{Ak9{wh3;h+,oo =+WBUص2D0 9V'hkqA ˫| و86+Кܬj- cU鈍CI@] 3p0%N^_`,8*Ƨb/6k4EE~j2QxfW]^18+s&2k:TɴlW/fB@]* eP< 0oANaC؟av+0!F˺3O=uWYFsgYZ81a4e2dd766cc0cea470e03c2b13f01ce8ff6d38848658d617e1d31408814b70d854f0969b4d3dd4 982c966f6e75dd78217f02ee347fdcbadf6f26c2 4a91b0378458a25b79a30d005e804f494c31721a 2719190341461d719ab0e44a5c4ff0faee85fc5e   IOA-NTP