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 EE0 4  HOLCF-IMP:threads=2elapsed=6.927cpu=13.356gc=0.476factor=1.937zXZִF! /T]ŗXf1-q恈N|5` 6y}P7(/H> Q|=$q6} X`dpg"K7FSB #cԾ/YǃwG򝬌c,8i9$kuRtHrB0X.DFdFOH}4͌҇km%@:˻ĵ\'˽l'f\,xV%uK $N@-7XhLBtAH4{B4X%Sz9F,\^ ̟ L u}DQ)|; dVjZcUH>^oTj"'yv]+WU_GI5먨 BRbNns q-<#bUkvcep‰^=a2mg$B5c8#hDέ)7_tsKu'ׇKyt!9 +xKʻx uqO*,. ciТkvd4 =OQW1&) 7Ò @G$qgYZ7zXZִF! ]ŗXi%37~ ,)f+0ͱcWZ%WX,+jђs_^leSv)2 Mc<{]Ƥ6J)k\q4BLY!aKirm2&ݎoTY`KKV   HOLCF-IMP-PQLw V#,$W#񨕍|+$M̴*$<ވ'AI-G`L{G@8|Ğ7%}'a0_C Fv_v.e.H"Gjf| ܴ~,DXt74F4$4CCW@׆<7gXkdAWt)(smx~%-^d=on~-b{ 3Uf0,CK÷e'}~2}`LS\Z߿JZMb𦨔k M6<&GFtIߠ8!\bJxTdgou$DfُM(r dhIVpO\D!:ю7/HAR۱gYZ07a6a39f22715d36c6c7d78e19847c1c19b45164 1219141cb7a32230a95ce4f1c699106d4ffeaf1c 332124682321656e702ebd7a5d933f675dfc2c80 9bb64d25a454e76f91ab3470612aabb28b261038 b09dd54352c4a2944793992376b5e417f3f2927f b2f395bf46e105375ccf95127bed02a66037e2aa b6122e77952924b9e0da37b7aa08cd7320e1a3f6 e041c843d120825e77104e8742c34aef50abb143d38e002fb81c6e684e22dfb9a00446f1cfd993cd c88cfa7fe983b8b87f38950dd0874ef6a0f062a5 01bd0b059fc253a64630add6c76331b07c0b1888