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 p) \ %S Dynamic_Tables:threads=2elapsed=8.580cpu=16.576gc=0.380factor=1.937zXZִF! ]ŗXf1-/6vRZaK Zf 0kߵDڞӯk@=ڷ8{8 Ґߋ*B` I =Oh7[͠hgQ[@z>t"VZɑ-frlI:K:Y1P!DNLa֦ :2Ag5o^@۫<ʞH:wt{C(S|Wn*oxg4!MH[BEmA|]I d Sw >G|1+t.ރ6(fbDXy6*خ o}2eO ˊ]W$ tSWhvd1̡+dͭJt&3{2:2:Kk`d*.7d=~Æ9}bQ]!?jgYZ7zXZִF! 15h]ŗXi%6uTaqcx1w [..p8|’zB)Ԉ~(iW0#nw5d,h\mWv zA5[A{0&NܤGɓryhii5LMqZ(N!Q q5a4 8잀DC6xW7Ua<b4Va(scW!8 ÷[5WV,R^ ޶XZf_1?)f$:(V[.qYMzGCx*47xg,SH773'y􉴏Sm΁u"EW/Ĭ +4mY8y,|C+4|O7ǔW*bF_y [f#'0^;(-L/z^q⩠,$Cz{vyृt顾47$D@8:"8UIZaRjgbuI R¡?Rk0I hQ- y0 R"1#RqhT `qEk("O[u[G2ؐJsT-,b1X ? f/$cZJ/Yڱl*o_%6cs&(zI<uިZnnO\#Q*DQ#E e`)AJ^|tLs %iCuQ_t"xc؈桮Ռ2ľ$YIB; /3h,Q pM"^6"#"6=%&qutXQmdhgFѭ/$w|b PgYZ54422d2e441107a94c985566f47ba6c8bc00fdb1 70b069c01fb973ca7b7242ff41b1634fcf9264fc 80c6ff8b9b633b73ce88466aae10319f627f7b03 a38b3dd93eeca7b645dac42f5297f6b177932aff a9fe49119bff4bf429d6d8a087e420d260a29e59e4688efe0911f3c4685119d2413b25847e9bdff2 fd75a6d445e5afaec4d07c698e0e0aad8327d77d df6f77d3cba6fb825ee5fd35d1c789d872ff9d4b c4e712308a7e6bc842f6961ef767f4141d63a280 ) Dynamic_Tables