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 ] FOL-Fitting:threads=2elapsed=15.546cpu=26.416gc=1.764factor=1.707zXZִF! Y]ŗXf1-/6vRZZz` #.;9≂ + Reh<:xp%#M h 5D:`-ݏBǼ=ۤI3ۻMHhvw;\'{_ND-8iuFkv*Ε#;tav{[yE{ >} $,B4ʜ1{M_G}:]i=>CL΍}总H!t+H~y4`ʍ<:$TGUMFd #׎%.1V6qrCUWgPI|gzdgYZ7zXZִF! MG]ŗXiɟ1QOϒ3kг^*]HB wPB YY{LD)\ke3-cN2}YZ7zXZִF! V]ŗXi%r)h-Ck@tzwr605H@iwFcQ%C^*ښ`wAȔkb"pw\ueiG 1 'M]K$_&js-{GSe5:UdB[HKӱH EW M!)nnEe1}-_ԽJ V6(]Eɓ"Gtf63˸랋~KGh71]Y&q"wTvAjPvh myonԑ >n乐(#።& Od֝^wKk沰g:Xy#[SGֶlk@kATI٭>Z0\Oxޝ*W ܖr떾/l;]aB]_V YC"ZBo|_y\I\ҕ9P ѪF@>e(O$+b}8`TwLnnµOyLk*0^ LEΩ nj}>yt+_|Ssv a?&Xvg-Ҥq"*ts?^is\X0r-Ki'޺ӝAFsd@ZU#D)4]!i<:[?bT^;N"6