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 N l w/ FinFun:threads=2elapsed=5.968cpu=11.036gc=0.572factor=1.857zXZִF! 雑MTl̋mV9ib41R&o'r OΞ>SoYMeS35sE?[]P% ]Z\J"w f`SL]ɱ'ۨo`AڋA;+V(`0}{J-SbHc fW-ׄ# % ]DԜi򰱠3^Q~+?.8Pʶ g"P F0_B9S3#a< wR:8Kq:ށ~j47]T{_نV[6.5&҅ pfVW7{ !YY?ZT:/ݗ#'=9zSE"QwG8|0ʀs!$&ނtlgn <}ݙzSzyaYsy.G@T]\ۥ߃c ^Qtx:6Wn2)@Z~-Pz}U{ˤ\{d>DX%Yn%INpCMeIr 85^ps τk)nAGx\Q3y$|YT.[%iISϭYLՎˤF?^ӯ-BM$M8w҅r ^5(;yQC@JV!Ϯbȏ`wb1ph̯u c|BK+X%3W Ote|Xk0Ȕ@^=Έ}mTX"<.vxkNjk$*kVV瓘mvͬ5{AbLfϑ ԏvFb%{k. ?*)[k7OigYZ00373f1096635d47f99703056d4932b2c263cfc2 4cee7a4a8ff3a6a412156b24cb39563781feeea5 5505215dfa46643ce3ffaec1815fa2ebb0d2d03e 91e2f6df6462cbf984da0609a3e9ff8fc5f108f4 98e56112c94ef1e4b2b588c91ee96072cbda4b3d cb51e5c244f278a0b0fae9d2d8fb12bef94cdd1170d59207b10c0d3f1ae9713c01fe0490a95034f1 a635d9d9c13ebeec12e6b6e83baa37d10eab9bf9