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  +D ]/ HOL-IOA:threads=2elapsed=2.467cpu=3.640gc=0.144factor=1.487zXZִF! y]ŗXf1-q恈`Di۩Nnf|17с% '|0!>}AO+zwR(qȼ?@=_ {z!-gYZ7zXZִF! Y]ŗXiɟ1řGtHʘ뤑3/KƬ>(FWno&-?|ݶ19DI@UFugYZ7zXZִF! ]ŗXi%;ŰA1ՠ >LN Hӭɏ!Qh^݈ ,M.4Ի32AS"C%X/ -̏okkE>Ya鴭T !S0 2ni$*?Ax ˺/NA @夤G ɈórIEOrH*0_jOFP4AZVA9A _2 Ui~̴\qn8ƣǍXH~s2F-rjy*LsF_QgYZ793d354e85512062d95bbdc34312878b2104c46edaf53072a7b7da07dacaeec0891eaa6642c159c2 e32a9e161b57c989291c7f5fad06918aacff06a5   HOL-IOA