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  ` `4 ]/ Logics_ZF:threads=2elapsed=0.333cpu=0.656gc=0.000factor=1.977zXZִF! X::file=~~/src/Doc/Logics_ZF/ZF_Isar.thyoffset=40name=ML_fileelapsed=0.188׬}KaqY}YZ7zXZִF! gz]ŗXiɟrf^-Վ)!iMu^l;NF>x_!{6zITFG<08s u^;zp8&Eeu:T'!lIzb?D)E%gYZ7zXZִF! 9]ŗXi%9*W8M(v5c9)c_)]K+YЂՏp6>0k d'`QO|O -+VyL) ?AdP$fԼ_?#`Y?QybLrO`ԠE%1I\[gS"OR!} 2s)PiYC-!a]߈V7˘Շ$XJxd8 gYZ2a6c533d3e98adcc08c2ad0c5ce6568aa6d9c4cbb5c424772a2a5b40f2f68f25414695f3cd309066 6597f00fa042fc25484ebd591cd7f41b20bab309   Logics_ZF