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 11@5\ w ArrowImpossibilityGS:threads=2elapsed=4.175cpu=8.132gc=0.488factor=1.957zXZִF! 6]ŗXf1-/6vRZ]o S.AMLfDBjXrF:%95* 5 ArrowImpossibilityGSrC)o[P~1:i*zʔRf)NN]*}BrE9m7vp;9ny2݃pW_ TzZnV4JYrd/>^<Λ[|?ʝ-2'Ko~R&/(r%$d8L`#GI W>))JA`66)ݖ )67&n­XJ4YWL](; 4 ُj0s 9+ | ?:*6Ae;4QSbd5L[FS Lo(sJ#\dh-p(eu-(#uhon'a֣],F{9LZ7gp\u8by rMMDeMNBAy'eՋ3 T&9LtXLMr}KG{k\3N-M̱1fpBpaH{pI$tu*+&x*eacŸ#o(&(Wn aa iy':o;3;vrIHѫӈՏ_qx)A|BlHJì0JWWj le[.}G¤ebN;J ՞%X#d]&)cYRFt_*L mbcFq3lJ ™JD oAsƶ.Р(k#o],+Q+N 4⃻E1s r^ T@q'"0e98l$FIQ4 T?WHL3&ݷɮh(p)#?}I(0&4<PÒ"E@z)) (gjbߎtԌ[pm;_CgYZ7zXZִF! N]ŗXi%H ~aEb] YNe86&G8|^=4L~hO'ɹ^zc?,¸ --O}!<8PN\rm4S:B ~ZNO76@ć :挩 |]+ǾGmBN4Sfm63Y8@^]b`q&EQs6P <=ęIE\д}zܙL>]Y;/ʧD{ f~XO~57/-k997[ XcpnK#7䍽QFq1AS޵hnkE{`.(ok4&c߁lHrsN ]9)~|k䜸ÄI=WsGL4Xƍj˺of=zNw,^ct\U$ZhoI{֕r:` @ CݹkɋZJ6>,eZ]g)uxYד^Wn6th" ?L!C?Ro牘[`!QTi8,dcS<IbgYZ1b7798b5a36172c4cfc0bbf4a87f92c4f4990afc 527e33139d13d29ab06ef1a036d246bb1bbc37a1 9879e6323de9f1b60c16d766699d7513eb60656f d6bfe6ae07bf828e73f3158ec9c7b4cdb155c92b e8cebaba1f0ac906c897804d71803231c71cd04e f6087813f3ea6a65fcc2fe13b7c4393be073fb888c20d9719dd3c794171052bf139f7df3bda5efd9 787d9064b94856bcceaf7fba7c00dfdb93321f07 0421e1d9e7fe672cb0ddc4007aa564f9dff1312a