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   y# \ d ]]HOL-Nominal:threads=6elapsed=6.306cpu=13.100gc=0.604factor=2.087zXZִF! ]ŗXf1-q恈ބ׋[q47({ڏg_$+oot|ˮ1i P.諈6DǸDPbˍN6B,s:.evԥWY_QOB,rU$7MHHqEBpO?V#)gגh۳\- a'K,l5S:tH ͻ&>g*5Klk 9HgYZ7zXZִF! HD]ŗXiɟ1ʹv)̝gb_ A.h~7Rܼ*l, `I'{J}YZ7zXZִF! ]ŗXi%94ǥ2A#ʃX^qTH>Tsr3SE3iTTtoHP*n O${˂/~ TpNld۫s^ވP2w驁b#[ōܻ J&4U7 ^ބk@J.3_sL(g K*cdBb%͖Gw߃>KaV4-f|앞E'M -BE7 PhAc-&v%\XUX3Ne"?30 3uҗ"KP:Ɔm d)u_NҬd8Np@Se1֯SQ F܄FPfj+pM](s ֙"}o1$Əv:d51=_p*\}hJi?H3 & š|/;'|)mKy82ՃӣG0ğ w "1@&nU]}08;?Gj0fǁUGOEX%p]-[ʫBT 6քұdU!͛/$ 'SaoJuQ`EeTԝn $9IIfedTH)*&gXHh*zV{)kWuR*0A&{gYZ1776d8d40bb8d2e6d38008ada1e5c3d23d69ca468efa791dabbe9fabbba3e8078d5274688c6622fd 537220e845e462fe9dd7dc166f6d3cf6145faab2 c59d84098cd239e6083625801b10283927e883a7bd9bb4b9e0ca1e8ff959a9c12bbd40f7ad34484d # HOL-Nominal