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 ]/ Classes:threads=2elapsed=1.638cpu=1.796gc=0.000factor=1.107zXZִF! ]ŗXf1-`Ǣ"R._[9r,dT#q$+lYb{W_ Tg.k\&E>{GCݺ2yoG+IIv_̟`d8ŦNNbM#Q8+MԀUd>#dRTgYZ7zXZִF! O]ŗXiɟYmSb!! o;nS-'Bƨ6vIYNcb"Ed=+ğk |'gYZ7zXZִF! n]ŗXi%;`ak4H֠J-b&qr$ZU͕xC< jf%#e@)>ZNNxMAŸ#ɫv_Xu9af\WM/qªwe3&P R3mvz 'v !yȀyAzb[ \ 6RD!92l3|PdT8j/*u+Sb̮5_Rfw?krpN]Wa*<)-J+'Lyٙt4>oaVɮjF& V/~@lWM]9*nl*E(h^4Lw# x[%vtʜjLPO }WC|뾣J`o}&ޱgYZb4462faa39980575a91abf6bc1470b56e254d1ac87932c6edaedf27de51c877ca7033311a89eb072 7f58193f3d2717fe18681e21843b42a4a2b573aa   Classes