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< ]/ LatticeProperties:threads=2elapsed=3.607cpu=6.720gc=0.208factor=1.867zXZִF! X]ŗXf1-/6vRZ"P*nIUUƖY`BNa>t\ V- Ȭ>|EWNM[ԛ~×\/(XUo Ubx3dZ_ԯi6Isa4/3AvI]'[FTW(//qBk؂h̶M&D@lD$E%6~ Ǵ`<ϘZbpO\z'?(7ќHЇ{I:6ݐ1 vYgYZ7zXZִF! ]ŗXiɟjg*Cp a:~- ;t0JTg2Oau]nv?b4PйgPp!/gT׏c Vp-i3`4 '% ,3#ܸ_S4N 8 dkۺ-d.T(Ư$h ZʐgYZ7zXZִF! ]ŗXi%9(SNhmn_sA$ |>dwUVG( OwҰb'K/$[P׃.̰('Ftd4{u]V̩4!lά,8g#ExGX6a&JSk+MR7$4!\6'a\:!Vo[\LLJn)}ܬrQEFAuu.(דdO#Z\v3 |u3bLc-0?ȰvB0_pPҍ>_pas'c~XT ûMWlЃMWiocK4]3uDn)a6:V\z\92SB)#'OꝹ;5"x\T vyf!␧!~Q2?yT(wY)~CZ,'E@`x,MxHx*_e,AkE1փ.W\K},mSԋtr4W~eG?lo+մ~OBW\#zڒăU"∏fˬ_:3< o([= 9yؼBxqW