SQLite format 3@ .  YYQ77Atableisabelle_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, "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 }}7 t4 / Transitive-Closure-II:threads=2elapsed=14.681cpu=23.576gc=1.104factor=1.617zXZִF! |]ŗXf1-/6vR[O CИRO!,<^6QU5 >_hE+++M?$;WS/{?+A&^L' M(~67^%!)ڤy}rYȅ Sjy_ERO8bXLۏ96pl5&xn*($OXH:t;`{0?Ckf\߲( ,^z޾ؒ줌UEY,L! skd~ٹ4tWyPw@_ɂJqٜ_umEE_`+LLd&j1?djy\5:̛S ׽}-:)OHPy{?9}5kU0߱q!]]9W}O{ EPSjĩ?ZxL8 18^VhlzQ#xP,?Z^9GuGgYZ7zXZִF! K]ŗXi%6xq][ZuйXġN4ޯƑ` u=[2aȤJE@<{HS " m4њ%f|hһI=)۩',`ﻯdY4Ъ}_5pD+`jH.&6t8+~serYL<+ȏW'xeADrW;Tb:b3PEzVL/D_-m~WToش\wpbzzC 5=8B(v$mJ?e`+_#~7Hqڵ /e57lB26&K;xFgR\08s:ԥHVLO,p&ö8AT .N܏3hql;!y؞R}Fx*'7n ZYPWs?_gZ&QN! ߙ8*q K,Փx7i6@52oOY!L65Ε$ꄝqʏ?klɝǧLf=X9j7}ʌ(?qmu?p:5'܄ ~ZJ_xו;6QRĢNy4bEDȼdcZX#TN:[w]0}=}yUթ0+!,T2a 0{gYZ06449ffa42e3ad9928207f59223e44cf25b2ee37 15e3687955745d143d84e0b661213649ef7f89f5 19e2cf0910b7071efb7af8472164cf296f5e5ce5 381df363fb5af5931f68add2be63eda5ce000611 3d085b2f15013ab9cdd8983b82002e5b7e45d759 6b3f34b31437c70042e95bdd0a1d13e4c08cf201 81de4762b4e143259c5d9fb6b097811906b676c1 84423e11b6d52228b0f687765f7ba7a489cbaf53 ad8bcedf54dabbe9711293e7a3e27bcfa6b14d82 b3ea658d95c733cf18f45296a0c53b2b9aa81b62 ec92008245efcc8529cac7bd0a7e407a8d923d73554fc66833c1e501a5e5c7ff24471873df0a1f56 d155c2ed07829a15fa84f92865e4197c8a5f1ee1 7 Transitive-Closure-II