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 l% \T w/ VolpanoSmith:threads=2elapsed=8.887cpu=15.784gc=0.576factor=1.787zXZִF! %]ŗXf1-/6vR[iB9Gf}P9O`3;%{Is`9"PJhqzӀ|:G4|4mX Ӏo٠b^ ob|7Ub@~|$/+K$#[.{)%ZM^ʭVz=k2֜V]#!yo' шZYX!+An曠!1iU 7R  % VolpanoSmith=qŘM»c -J y}KU8_ڰEݷ,φ3XUai$zFH6AysP.EBv+$P*\G?PŒ=xvىr{ GtIqCeBah!)6]ĕ{ UNA;FZMُsH8?AFl]Q j YF 0'TKF!r4`5HEq8Es=#Z$1||+̺Gܡla}FkЉ4?dK7gYZ7zXZִF! 5]ŗXi%DQEqU"l%&;dnꧡBۤ}3o״t&GEsip&`)@aSE_bA}]*{)&/m]۞?L1źiy2_U(*CؕQ;ʲB1~jMмeR}mp`P!'k_z9vn|H뗜%^8Gs)uS`.c/ ayHXa&Ԇ䘻{A:1!"W1٨nGB܀ dX{J&E$;\@4]",/._FkEX4Zmʱ*Ikq} ⻰gmO!~Tl9:B#5+VI%< JJT/*J.k/jgYZ07c3d0c0260d24e84312ea07322f84eb50610fe6 15649c4dd41463e761306162c948ea79ce836419 43a788035c378e986edf224750a85551aba4b61c 6918709c5cea4390c2aa9b7a9c411fb9b9e72799 7e04ad2d81aad700a3243fc642ee04707d75e34b 8d8e5854f33fff58a9ec327ea3350411fee5e5b27df075489bbe200b6262e37edcd5270d19378d2e 9bfbf87d82e3125a825023e51521c6c0733cbb56