SQLite format 3@ . BBh77otableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "theory_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 w7 \d ]/ Transitive-Closure-II:threads=2elapsed=13.566cpu=21.448gc=0.988factor=1.587zXZִF! ]ŗXf1-q恈͐7ӺV 0t ŠdrviJ#UHlyzyU<=^Q~} S)hOwT;2^wm tedjRU@Ć< raU/_՗}iZ2l}EL iE` ۼ9Le˂yY'&:z{0 lnc(Ojsjg^=/ܶT5  ^Ho!3|$J;^y'o;[H _ǡp8}m]@'WUHo@S|>73z31Y ̇wtPpnx"y`\h ks#S.'/{+b,*k^#Y^kp{Q :n&FLHU1f|gYZ7zXZִF! ]ŗXiɟ1˦rXs=>HXU0Q-/ri@#\i8;68q˞;J!/%֙1 'qkc<&P=H=lZ$a:Pۆ|o1˧I-}V!ㄮ6 h2<_\gawh DVaN} *ZW~ zCFTڭ>ЂqBh">jJ6%%’/B8C4I^RȤ1klʯgYZ7zXZִF! MJ]ŗXi%;iܵiBOrGbpҏoKitߺďjwtG?vXT_pqnH3+ʋ Re"ZrbչBm)hvU'^s_;>`q+Bp])ȥŸB2U4.- ˚\DZgYZ4d50e9884575f1b341ac4eb83d1b4747f65ec10a273a065aaa7221aeab8448251fac00a4433003aa e99e0684410df36373f4f2b5c5ea423968ee9625 7 Transitive-Closure-II