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  )T ]S Mason_Stothers:threads=2elapsed=3.198cpu=4.668gc=0.068factor=1.467zXZִF! &]ŗXf1-/6vR[L]Kˢ!LdBsL +%zA#ݕza5M$/{|zFߴ^P3-DOpGyinT'FWxjGݨ3~W oTKG"q%Sr/ov\ȠPgYZ7zXZִF! QD]ŗXiɟQ>G+"W*G(cFs4ZM)QW4L9KN{:Z`RT}YZ7zXZִF! =]ŗXi%92M!> ƱȠ`6.~&0nyDf3K=ȨH I.' "#@'v<ժDg%-<Ƹx$G~%s$T4SI Cx0Ϡ-YG?f_7 ƮWpҶ) IBclȀjU$e_ǭѝ.Am=x]kCOG3SUlՌbM' #!d_D_ɛͣzBY5@UJQ0Fzj rG[\5'݅|F<Z$<Sw%8HF/RJiT8\6 lꝘw nUsLrR&D [Eev^D2˖%?BN?Y::P}ts ((٭F9rw*&C88) ͜lHh>D>鍉 }hCIE5fZѾ@ 7cS>ΤWj'x݉Gɦwܼ'}h~ KR8cr͹gYZ93ec7c3c58fdb15627b278ae476b26db8b5bb2ce02339f27a0d9de61901914e2709fdac8350d3cd8 7fb9b098cdf9ef9042e54a79f154a8576f8ad951 e18eab774fca0e276fd5ccc2347f5041793d975b 2ab3967580a9293260799294f3a72b6d3e4eceae ) Mason_Stothers