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 55H |L wS Bernoulli:threads=2elapsed=7.865cpu=14.128gc=0.252factor=1.807zXZִF! /]ŗXf1-/6vRZkBO&+p_% #Bѡ+C1/0bցjW鰛sQTX!F4jajm1'MDrt$ tGIq)2;(D\tkRF:9R)0-a.i?OrB81 Ϧ1z/׳\tuƇ5lҵҪo8O}萳;qtbp-jWMhk}ob\ ݫ8>$k&?x1X'(>#kq.K ^?|qj5.St8݈-X-ƻ nh.\j'!=_mjD.'Eu&zuSN-3~7eiugLH ' 2gY*w%RNQJ ؇SkV Qet|r.Dnx۰&H^%M@Q#M9ɊJćV_O9Js]Eb~St/On_?{}Qtuv"fEF:' Vndh#4Y!y8_}ҶJRbʀ0P.ax7e@zmքs|F$~lu'꟢42ݭ)PymܟC9/>_EgYZ7zXZִF! .^]ŗXi%q@} з0c҂.x3 'G_bcr,߻[#X6~y*I>gVFV LTyMʹHs3,ֻm(F3Y2bӢw<" q~Q \Bx 1gzJj_z¥$o"_۞b*c8j"|Ī6fub}c4trTE4>."'V(_i-; [ӃX>kX(GU]gYZ306614ae7e125cd238a3bba7fd3fa5e2d2176f65 50fdba8e5a4fc67c2e42ed269149e778daf78aec 53c6fec8bd0ca1122e97880d460225de71ccca78 5a5e1fdaf975d1e550fdbc34edfc57f71789cded 63996b18a434731c4e83e9b8e9092ffff29a55ea b643d05d50864ba0cd5d29b7370becfbcb3726b0c7c621c8c679c6f81c939be460dee2fbe4c459ff c121e04b5193f7bc8e7b1316cf00321a124849d8 5f9cfbb3ee57725a294474ac53472d061591061e 26a337b48b8c63fd275ea93a777a3e7a3401e2e1   Bernoulli