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 A+ |l ]/ GraphMarkingIBP:threads=2elapsed=21.878cpu=38.948gc=0.780factor=1.787zXZִF! 1]ŗXf1-/6vRZ"P*nI۴UyT,!W-+lMD:#2U,%~ vjRB{Q#^es+Ⱥge3AJ;>"Cטɨ#TB3WRi_"b;_ Z@"-@_}dG.tk?XиᲔbe\Nb6gx}[1<4GƱiݕ5&THKR`7kDva"ษ(S^hlj/i>bٿl[!sa"@׃߰V)5,ˆg3SfwZ*5. K̜mxI8"Tk[ȂfVy*cioaetپlj{^C;ݷ J!QW{cH{p -LYSNE ɷF$ l3dxRpGtjp1^q )qRf[/~}\2~Y6~>rV9""$B\[gd} #ߓ7)jf zoCD&'{fOUG褕 uҢ 'pnAD+0o߀W\B@\Nֆ97 ս oX`at~ ${}VQe]g(dvEP]DE}<ՄQ9ɞ.jgYZ7zXZִF! 6]ŗXiɟjg*Cp a:~- ;t0JTg2%?XwB𧨌bli`DYӱwT٘`S?ne:׬$r[YZbdF!媉x8CZ?Kd\a˭;4/_**E%9_+AdSp+Z׆{LS4RM/չٴ wS ;m4BػAt8jMw!7,7;"aS.~Cb^eO\o:*݉)mYyb;Ѐbβ0lgV35+7%0_B+Ӂ`8hC^bGW'~tv`DL tu&6f(.kzۢ!ӚSj}cvk-n䟟 .G藽|^2 OіxYWye 7Uφ]=Jݑg9?ÒEV{wtCIplxO|;6Jiݚ1'5~2޵ ǝA-蛫1ůO⏀q W+杵{vSduھџG5VQke ۺ; 7i̯V}HGd!m͘r>  "gYZ880ad404670896121d0c34868993de53823797e2e70ee0fd938a0febc474d8a614487240593c9abf 62b865a30afb162effeec3b132b2275d92775ddc + GraphMarkingIBP