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 ] Stream-Fusion:threads=2elapsed=9.535cpu=12.316gc=0.456factor=1.297zXZִF! H ]ŗXf1-/6vR[]`\Tu}M-*qtjX`"ny#90l)/.{jz6@Y! mt(!R}$i֌v8[v6M8|m\}{.Z#[^ӇuMwdӘ-y/եnϬ'(v JG=Z|6^g)f׋XѤÂߔ03db;M9 l`"hB+ל:u[E?N9gYZ7zXZִF! <]ŗXi%92K؏S0, (ST%h߼Ʊ:zK7-bk[73j"\6"Q19/wHV $C& ;7Eɇ%{ș), ֌wםEC$8TW(VХ;Gg]Ɔ6d3XB"HGq`~Vv T{cB;%ش8iCD)P@a,v'dfatySTM7j+yY][٩H ו2rDSĝ$ A6X>v $6"s5~1EFtYB~N&1Ǧpíz U|S KhiDS똈m (,N9Ԥ [e:x0т/3ˈ!Er#[p VeVu)J{c+(p5X'#L44=olJ(_D N{ ^ t<+a t/Fô[F-u;CPdj]y 0O|po}U穗twiXfe7pB Vz[}w-)Nw,:puu*/ŹT' ljz wg v:wkm!~ ݚ-|@0Tb0zJG5WQ3e9[[+Ţ_![jq=pJD^{#壍 $}ZPϒP萘p,3 ;z-lrh\VzT\wR$,Q8mNfn  (ƀm^i(~ Ky>gYZ2724a154c26fce8396141b4ac35515d196e4196ebc695fdee8824a798a8d382701fae26c53fc4747 5f7f982d9d8d0282fbc15cbadf4b07b06a8c8d77 50dacb9026c8f1ce6df78b9da247b57b7b6ebb67 ' Stream-Fusion