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  V V'| | ] HOL-ZF:threads=2elapsed=3.929cpu=7.280gc=0.252factor=1.857zXZִF! 4]ŗXf1-q恉 :NCG 8vۗ#Y1 h  PrJB3~@u.7b$%} NHd}B[W=2=2iR%y OeVK\;p NѮorcEsI?:fwAY.|=VfgYZ7zXZִF! C~]ŗXiɟ1qnAcP꺣3TAan}t혠6OuQRlFs<.j_n83q2ANu}* +!mUV5d<O@rwecgYZ7zXZִF! # ]ŗXi%;sO *P{aWX&7Ix!?į]սr%WP˕Bx_A$FPGXZ h@sKUU}<;Ԝj'Ib\/AlP|.Ĕj4/)U-9wwz2Ҁzy(&uX`93bPqcZ[x4 6uvvWVNi_gV7EVt9uzZI ND;ve3#` e&3Fr-SQß,>8L@ \ʓ.=0įob6$(hc MM-G7!c[XTI|=lcpۀ"GHzoP7S[ ҖԦ1툋ej,R7TC9 uX|Vx{^A\Q˃  6^W +D3MA l58ROvZdn"]jws0$Dwe}IsvPc/e'켣OKt9rqEm[8Q}Eg7S 7(of)