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  x$T ]/ Main:threads=2elapsed=1.160cpu=1.228gc=0.000factor=1.067zXZִF! RO]ŗXf1-߉k3TԤM2G%fPVSv`H1Ug VoBkZ 38kS T}YZ7zXZִF! A=]ŗXiɟD|%)yw&)5uD,ZSlHkiYBs-}YZ7zXZִF! a]ŗXi%;iV-Pp uȎWWI`* B.g+b(vXgT#|s V57-8Z"|<5mlrjhoPͮ `0'fUo*ķ,UB.p vI]r:i qnVƎO]lSP-qEajhh@bǗLiεE׮릦܄Nqj\jN:nz CvUa?'%fqO֋Z.̩?ڨT\hȅJI/`z1#z^_*\O޷B^0,&<#4V|ۉ}K/ض "0*4>TA"x;lc tgYZ5a1417b2913806f50bfd293c3ca6f565304d5f68634a34b0a78430c8365c904b4a02a2bae50a7baa da3f4711496f4ebba63bd289462f3fdd0cd836c3  Main