SQLite format 3@ .  YYQ77Atableisabelle_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]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info :/,| / DataRefinementIBP:threads=2elapsed=3.031cpu=5.604gc=0.088factor=1.857zXZִF! ]ŗXf1-/6vRZ"P*nI1x{}\mp<;\*ylXn"@u@:4!֭da iW?i\yOI9D;4[;?KK{Ickp2WWUl#:!tM-ʮ| /-zu0VxK?uů5+?=^R%G a2i"uo X"Fَصf"T^@1w4~ ~yA77 t x:+HcU$K5}OlTqע`)J/)^\$cUl&G(w%j:h Qh$i)2 O6uIHG`؅YY-J )}R $.I:֞F R#T S8;+DZӄ=6CrAPq?CbgYZ7zXZִF! 8]ŗXi% D>@,q"_`{{~>7Xc2ƽf+ە@պs,7"_[S4WW6 ErHpt"l"j 9ҫ&HSf OY/D٦GT.Fž8ݺOc&XBN04: w Ew%Y8@Zq58hplfp!(μpxB8=Spt'ҭh!>>C*3&~R'd^m(×jͽub9D.!Π$= :L9HvIVX JD,$C_F̩X%ط!Ek3Ԡ=qs 6\†V*@(}/V==dɕ!Kb-'SpS3һU!U>▿<հPX{QɰO],P^ %G˝fi