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 xx}7\\ / Gauss-Jordan-Elim-Fun:threads=2elapsed=2.985cpu=5.520gc=0.052factor=1.857zXZִF! ]ŗXf1-/6vRZVݓ_e*E;.`ub1!ڏ/3} q6\D|zhluHJc"bx! d!ڏ3Po}0hWү!_ 8i[S+aLf(Z : AA/m]D#4G.'#XE1oxn>.T&jI mTy-6 7 Gauss-Jordan-Elim-Fun:u lh<Gң61jh ^t"5―/6>/vrW>!㡅"ޛ a ]y`]腨p@K75Y7^LS+Ɍ,f{܋q f6H'cÉt"_f+;ʒ_ySbFQ?B/s~su*agYZ7zXZִF! A(]ŗXi%DQ"]Ozcz]9pZ{*+^kAq"j('4+~f_25 S/fJF &-`.csk1ZjC j!:ґy勷eM]ºax$B &7ązcd)hYrZ_ԟk%xSh[]j=K;OhS:Z,Jp3< Z}QC]mxJO$'.D ~Z7b+ro$(`8PSߺmz܌ݛ9lZ%-,Z-GR;A5sY~ӧ~v7WlQWXz]ͤP{(']L> wo>e`g/2x8d:W7,Bhi *fU͙& ӏ_Y˄08,O^)}!bXJj=͑\D@3Bw 3[2F(Uj?eep!0-D \5StPI8#()\%}+GHx!x R.c;RgYZ1874a0cc34a6a9879924440656ebf79447d8da6d 553a2ae14632bc956ec0af3527f5022f65f1c8f6 b8dbc8dfd0c774bdbbb7b6e631ccbffe1530189d7df075489bbe200b6262e37edcd5270d19378d2e 9bfbf87d82e3125a825023e51521c6c0733cbb56