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 DD9 $t ] IOA:threads=6elapsed=7.242cpu=29.264gc=1.096factor=4.047zXZִF!  ]ŗXf1-qN50^Xݾ V'褃)*%\i` ,;Ku \ȻKTW%3~a$[vcv0@o0D 2` Lm""iOZ23Z+PBogMIt9wT%v$E"TNAk(gb>cHМV»hC@:#)|d4w-%#4T!HpRqn<{Gb,Y\ۿJ2ɜME3E?Sds̴&5ޔq<^8$)Sτq@)qB:-׈0hIzH_ŠZn2s 2Nc ;ĥsIn˓ya^']RhN8n0hd+xKw5H'~vmBSU4K] e4@$|y M6aCr}g n.+$M{{gYZ7zXZִF! `]ŗXiɟdN'LvH۹$nWvYe%b O߻j5lM -`,&N 2x 1-@d$!g sqG5lt>6P$ٲ]Ksb[2tquEvha&G %jI0]-3S%oPLSGU{C糳_#إ#'s UU7qN<&{0_WKgM+Y^(׎txuOёGW~zN ]k=9R8/$Kv`Mʏ.zl^ aqyD%N5'WMlX> .1 ~Wr_٨p9 hgYZ7zXZִF! #Qq]ŗXi%96BAV/D>LZP [].1d>Š'KЍ9j`ng8ͻ%V5ռzu89274BH+曜[88_c޶kO! ͸~de>.B#[}YגZ7#*Vjˇ5[sQ JL{_3̖N[Ƣ{Jz׿wX0q*D}1U1xG5!X*(g9; qYɄcrIAsKѻ(8 u Zj#ך:^)z.ؙso&;0$?Aͩ_؈ZE B$_iԙGlYb=W,LlΎ ,fغC (~d;\N3R;jY-a꜖Ã6<)ۚewv  ~dh~`\H{NѸ PV25+Rq7y};RSCwwm&92IVE_ceB %H9\UN657> c3F+gYZ4d4b465e2097064d17bd8bde6536264211e8b426ad9522bc18e2b2a6cf26599b560f2a9ea7596aee b002d126cf91bb7c3419b108b7ca31e9b00c41f3 ac774038c38ce008516f504ef4d9968433e2eee5  IOA