SQLite format 3 @ . Y Y Q77Atableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_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]7 indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info "OT< w Probabilistic_System_Zoo-Non_BNFs:threads=2elapsed=45.603cpu=84.516gc=5.240factor=1.857zXZ ִF ! -C] ŗXf1-q恈<-¡$j9n0.H. =.;7,T(.(>*[ 6Pow}}5D"oy] |ң@ުx2^Ii_] :PIh6iP _K{ߟ2S ,Bk$Ecٝ[@@>Ug1m^[ӊP(GpZ*55,jA ,ӁmVSktjsǃ^8_h<Ϲs/yՠGKF#%M^]6{CKHGa}ɽ'>HĝoI|[7 nMSJ=ɦ&P?'UiϞӾohnkUʹD85b tcHE- K$VOIp)Ǚ>|w馤p/ϊO4<)O<:6 Æ4:\;*/|Jl"1Zt(⌇]<-QA7FoiI_3f)^)\ʓsE9c)rZflXP6]U% V+<r
]QmXT w:
V%f0LF9-8<*kc+֦YQ[2j)/c0ƳA+K)E4KEZQ_A#(1K
ˀVV<(?Q8x"
fO8'}7kZLf^L+ݮs=zVT*O@De!1}!P-1^__ @N^`vb6v3.lUt&bEB>W+ o;O"-#L?V]?I: 7rֈf*֕Gύ)C$0v ՖQa[@X}P'-§M