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  3tD4 ]/ HOL-IOA:threads=2elapsed=2.382cpu=3.496gc=0.164factor=1.477zXZִF! Ar]ŗXf1-q恈`Di۩Nnf|17с% &rR Fj ynBΥN#wYZňp%&zOgYZ7zXZִF! []ŗXiɟ1řGtHʘ뤑l8WU=ML(hvJyD*~KԴLb6W>%!Qw{ñgYZ7zXZִF! ]ŗXi%;iV);Od=W6.d㼲&TUYV(\'/v6v:WZOq׸O :DpU ^WURp1G~מ8U:h[mu+4$)Y# h]!\HhEY=TM<<;]WqGr!‰oZȪ8= e7~E3qʁ\S33ןg=5:,0/`%6vWB* Z5Kkg_X#%%a37ɦŒťذ&lz 7 fGqmjfnǪʗ 9t7ԥhzV"ϿU}!7+xv)ØsL8\?.A[Վ7ƽ*vRIaReŸeG;vVٷngYZ417703ea8717f601eef17fa6b5a640924679d6f4634a34b0a78430c8365c904b4a02a2bae50a7baa da3f4711496f4ebba63bd289462f3fdd0cd836c3   HOL-IOA