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 D7  / Transitive-Closure-II:threads=2elapsed=14.192cpu=22.772gc=1.076factor=1.607zXZִF! C]ŗXf1-q恈͐7ӺV 0t ŠdrviJ#UHlyzFrZ9.]&;Fb]" ƲǦ&S*uMۿR\Ъ>k)p_)aM$ؘ -"ydWo섾S㷅ܒR])' kU!P(}M^;`~&}XнfQkAN7FuUdh}a>Q]&PѾ~+)M|p ˡMlӘIGB+hp|AЖX,WW"S݇e[w9PWWUZOyU jv݉ٞW#ZWE.ԈTB"xJ䃭A_ꔺޓjZzZJJgLx>tQ*ۀqعF;^(%&zخJ3xWZ T2\l@\fd gYZ7zXZִF! K]ŗXi%6uU$e;_VV(\p?.|tyt` +3ꠐ4Do]ΐ5knha+u}p}s.!B| D7^ƚ_0_;0\[O=@4 J[FqqbdʌI{Ks9T'?|#(TxSVOHwWfpчQ?1*6fX7jA( 4,{SquӺV raeOqp>4=P֦Tr.:6Z$dnD\!KDs{k5/$(mkr=RTq;9i=.s$Wi2Q V/˳B Z/?ns§Jf/eDCӇewZ9NFFM[?~ά2RM9ɢf Xw}L[Z- ϥ r\LV¾IO2uM`_m51{p^bW-%3]lS{0k F0U=sõ-c 'm  z޻>jvB$w׊fo?2o=%XiLDd_u穓>K5Sa0/샸L(ʣ`C4eDb :rMݡ`dqlFtcBHc3łh[u/$3/3:%_r{m[X. φF,V%b(2ZU<Ro5TP忿N@ &S*qi@]\GQl9OZŚzKUn$ėS@Lysj(M fTu3SFލGDiv)2m]S^[4_<0j-lC#"̱Q |^