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 XX% D4 ]/]HOL-Word:threads=6elapsed=8.635cpu=38.704gc=1.448factor=4.487zXZִF! []ŗXf1-q恈͐7ӺV /K!W8DNKY>OjxiKGnC)p?y29צŃB1S( Šh ٯq*nCz*u%P*3,0\zp1àSq2[vwJQs.4 Μ AN nٱܷ84`Pqi7jY"%KxW,Ʊ8s]mOĚ<Vv͢0ʼnaPFa Q0? G'?n10ٗt,##eV'bh-NN4 _"OǷ#m34D|8^5s<}ԝyЊ^%qw} W)rx=D]V \VB&d}]) jjgvM)-@Ll̥֛?~[}||E,rrW:Ue5[P?Hط]AoM72;njet&kO?X!b1Iw&%g~g$(vHEnY{34(nQ KJ =αgYZ7zXZִF! ?]ŗXiɟ1}?қѱfدyQ2$2|B.Ab_OU/߾B>^aMgrb0=:Ƨ=2@VȎn%̍drXX7V7'cp(28Po\.JrpxSdEoQhr 6ʏ9s[rW/$k~Ø\ge2۹Wyj]K,EAYý5m}y(/'+2YveIx+h6Hm"D)// uG8!lhb%:3c:/d \Ŗz,ʁOib*Cb 0=T}q ʇNJ C9ܱgYZ7zXZִF! *]ŗXi%92O&z$M4}r9]EFn56F>}+`c \_d>wbgEֶi8; 3weQU M%LHv"gjQ3L&aj/ ; #dKAjn~}'š&}̖7x0ClJPEgol Ka R3> Ղ[AOZdUAl%إa+oԥX EWwyXET2G=W! DUBMk9R5%-_۠*cԉo6PVBو8[YIfP43kn٭U.;t5 q+