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 j+ ,  HOL-Analysis-ex:threads=2elapsed=27.714cpu=54.888gc=0.368factor=1.987zXZִF! ;=]ŗXf1-q恈a.W E 2kK+Vg,_w>H`aj2'GuD.rsXwcрa?QjU/@m4k + HOL-Analysis-ex ޷L}륇Ig00W6aeo[ʔBOLPS_oDh{}c?WO7I= <^{7M~f}VJ4_EЪG HNn`zRk#4X94z(ȋha`O"Aǚ]z oI{kLA\ҽDxQ+_8jk1>dG_zi}g$9Fy˛mN[mGb[WF惁wJ堀)EDzCB0bOY*^HQf;ZZt:4cQUh+(5|3U2B:D]&e: u$qnH)a Ur f"׻Qz 9FRWDOAW؛'GcKQ:tRϳj9+NXkڧ!xjg9"bؤ?^GVtq}@AwTrd!q+m8fnZ~x$jn*.4z[ݱ?NLУ$~`9ϵ(<BY4[j*g׬\C AcLcONlgD\ þI7VBK+ 'U壒j+D9GEBQ* WfX} <<$W?E ʂ- 'Hx^&{V5a&ROo-xÞ;$SpØ-<]xbFX _a zÄe4 @Q꞉ f4a}mxpzTQ: &A7" #dGqTOaꧨM)3ur}ʥn2HL fP8 7c~1]J{\]HQtKR〒L,:Y%IHR$$b}Y9祢d<7Ê(CSj$wKr:(OCMXrTiÙi M0 8v`lԦ=Vφj? M *#ڇ}6Gd[f&6dsSY (0k_4`\COpKNАFnq;: 0%ʓ;#s,lHSSVH/ P9TۄLMyhN`c5($%TzI#(@Dm晿٬*#գqoc$y)J qy37`"r9G1Ι ɇCyVgYZ4d7cd11fe8ce0db0a7e76d85efe809ec521e811e 90f5b18b0285a34e484474d14119148ac2eb4a01 fd8622b3a620b2e7c5e13bef991de6d354f6ab1c014fdf73a0b928fde39c061b3b448884e65fa152 f4f811683dcda440eaf96bee8739ce28e3523afa 949bf8334b0cc93ba6045d325111d5af58960cca