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 `-D| S% Surprise_Paradox:threads=2elapsed=2.150cpu=3.184gc=0.000factor=1.487zXZִF! ]ŗXf1-/6vR[])f7鉥_z܎kԮ%L/T!Clg3B ^']' y56~Sr"KxF4o\?%Ϋ"'o蹵v +w{jt{U5z;=0uD^Ÿ"K&Qڱ98>wJX^xC˩53J %Ɨ - Surprise_Paradox_K'R3y70pQKϝ1aG0bPdӀmb|b+$gYZ7zXZִF! N]ŗXi%VjI(/6Yddqtl?5fITŷh= :X bf+HSU3^Eh9?^i_<*tM{tZE7XzoWW,EǛ ike[ލf^;Om %ViVaA9[HIMd7L]QgɁT=-| ))z_ ȇ$m)0J F\Ɗ;͉f_vyغDJ{+z HF|O !WKFۊc钬 01!*_kz^2$>]@q/\KVag j,w+g@u8OHJ.pH$g:UG$Kxl;n;0uH$ q1c rоc?uYveYWSx#V$9wgYZ1123444064778f19f416b39d92316b7194b2c412 3088a1c3ae4737a68dcc9f7e680463535f0e23ee 6424ba0970fb378ef389e61c6329d8c1762474de 8e7b46dac1ca6a051fa45c0250a84b7ee2a7b86980f4c0c8eb04f92fa9b72ba73b988fd158f20be0 ea130132a8ab1e832f061836cb5bf296dd9c641b 9aa367bb8061c194cb2caef837c811362fe2f146 aed74889bf2ee933570bf3ec3b3409c9d02a9749 5781b5438fb840de49b6bd3907b6dce5a5eac472