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 xx' \\ I Stream-Fusion:threads=2elapsed=10.693cpu=13.668gc=0.448factor=1.287zXZִF! f]ŗXf1-qN ~m{4vW||MXɷ-ֹ{G9б$eu= WY}w?#VLC ֌3{W"ǬA[PRdNWV$o$]AV#gYZ7zXZִF! :@]ŗXi%6xqm~NdpN.B,7>GF2arnͭJRK[v&M/-wْQJQk/Mh* br+h.MUy]d5\©L!h4)LGJ-6e4c ޻OIc(H]_%ndk3g7W}}vz 2ڛkX $ZU@ W~CM.LN ЯIV{̷G#7<'%{]~d%4N;L5ߣ75 ɛaU L^5|g;⨔LSyզb{[;]",798TwɎpLw,NABH9v)ryE|^.-4$Y`!&]BZ!nl/~>Ӝ&ΊRo"F}?d%)9j=㺆W[־.B͡`rPȾcw 6$P059QAr}{.085̾Mc3Dc^U{f8(-gJBg֠!0e(8u =R0Up@3'rdM't٢Uul r6pъ68]ݕMi6s Emf4ꞓxe:?9WE(7Av>IŧU pEU 8g1AשqwQ0ixiA£5_h2 *=jw3Ůy2zat6fU)u@A ɼ\NjOt<ًGhEݍDfw/i8Xﴱ['3|e>E ;ܩݯW+I3T0|9d\lZԦ϶t36gYZ37a95c2fcd5d24caa95733bfc47808e1feb2d551 42949db6ca1e816bbd53202dcffa7c9052e84a7a 629b9e84b9af488d265c3d7d0627a9474c3a647a 6480eca7d8d16630f0177ff98440fb9d1dff0620 73440a138915a52072d6581aec1a0c9a8843a599 b7b14edc8440e9659a16359aa649e8c83a02d145 ff2ceeb55b02bb63f9f48145c6e73772e2f7d5f8554fc66833c1e501a5e5c7ff24471873df0a1f56 d155c2ed07829a15fa84f92865e4197c8a5f1ee1 ff1d323a4c29d5f13156bf3518961b4216aab2d8 ' Stream-Fusion