SQLite format 3@ - llB77#tableisabelle_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, "sources" TEXT, "input_heaps" TEXT, "output_heap" TEXT, "return_code" INTEGER, PRIMARY KEY (session_name))I]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info PP%-Lt S/ General-Triangle:threads=2elapsed=0.916cpu=1.272gc=0.000factor=1.397zXZִF! g]ŗXf1-/6vRZwF|"Ţ_1 - General-TriangleT#s/7پYc6j+~r2NO<0=U7`h m(y谀]c(猈_a:V~K'nՅw y~*+;53kr' ZCe~Ű`U7[~&z"yթg={ iF|^e8J=݈m ͺq/)Utρj4EggYZ7zXZִF! ]ŗXi% Xc:{e)P2clJ๦b\'1У^XVgŶ''YdR" a%J+-%-D0ՇDND=ԢMPKLY3 Vܤo0)q|fcT9c"(kSe 5r~S?}|?W08΂R3v{$rn0M:zu;(*k1qQ [@/R@sc&Lhqwög-s ¼ճJd*Oonz>D@zbw?mC*D%bDf÷A-!%Rf'W<.zo1Y8`OecNn#)_AȕR3ǹ $!SXkXrqͤ ,ߗ} lCgYZ2b38744fcd9f44a2b3ce7f114714e4038a4fc465 55a71c759a69eb032b714f285197ac6553885a52 8416389ebe9196aea2f2eb427180264ba30c9def bfc423c2d3b5b9af4f1bba4c6b722329a87c5e363b94e1300442e1a3f5f809d9b370cfc0bbbae59c 6e537c63d802c0bec001927b9eed65abb991ddcd