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 @@= L,4 ]/]HOL-Word:threads=6elapsed=8.777cpu=39.176gc=1.508factor=4.467zXZִF! b`]ŗXf1-q恈͐7ӺV /K!W8DNKY>OjxiKGnC)p?y29צŃB1S( Šh ٯq:*! 2xչ*v,fojhB.)qq%߶ WK}'j IgYZ7zXZִF! ?]ŗXiɟ1}?қѱfدyQ2$2|B.A;Z&|,#^@`gt59{V^Y*9٣BfzqZsIes]É] @XJ0I.8\: į%\[@Sp_FBWλ&-S|Z\el|&o';]j%uH좌M0kb+ǩзX2۩yUxɫf8]8ˢ٤:_ *Z{t{{tnDYRBpt td JfBRRqǪǒ_0W`Ch2K.OtV3xAZˢ"EpC{0cpR&=Шg 9,t1-'#@y|EVL/_Мojh "l3{;lÔc [Q/67UDᎌo%Ix MM(vu(=$i0rDAyaϤ{Lzn^QqMGs()?Qp"|䢸,љ@!*3D _dfB߭)Y 傴S%rfh*4OȞ\_pjEv0eb2(uAJNoP)jɥ9ϑ6qLNؼ7}:R+skQ$h].kMK0ݩZŪB.4-J];'O1x # NIAɺD{2K=kU QQlt5C MR€O1϶ϡ\(GkVjvx!/1t4(kIMtXş<`ɯ嚄\'L X29 |ZiމFױR.[jD51q\ eh":)#.4e0lGG w{=R9=~&{uǬNv;B^~@p#OlBW<)ddK9U3lBdZD9@?_Zqp ~|/!I#VR@b'BNZ(l|QQVȞp""F_۪RɴOV46`o\Y4&m_[J,8ٵpaG(ַVS[㳤ڛ/I(]P6&, K.boJC ':s]FU$Bm#fexYN [gYZca16737c32303437eeaabc615f45814d6ce4312333e372010bd93d78618052a88797c5afe4f11382 7daf0c8bd7744b8053173dc61bbf05acdc7970ef11588e9a03ab8c720592e3a342beced4d51e7d48   HOL-Word