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 b- 4 ]S]Relation_Algebra:threads=2elapsed=26.285cpu=49.100gc=1.804factor=1.877zXZִF! ]ŗXf1-/6vR[O9xFuIˍŁ]"*iFYځ_ci;>vbQFn y`=!݅Ƽ\U(%yrR.aJWQ*n Q9%&OEd[_6^:Z4R @Q^-!xgY嘯*etȼvi7kX['Uda! 3pD9,[8Sݣ-'^1gbK//fP TuU/ 嚀%EqPh?ăf:PKcY/;H6Z-/]7i/BjCk`b#q>!%zOLCelay֮`ďWí6E!otǑΩCf<} w'`H,cUM!SGpQ'>'2\jB׀X\hbU/Lny%b?rޟ.()gHf(V?a9$2GӔ1*\r@k3O1C Xy[EswΔ'@ǀL\_oT;vL(c{>4"[Wc7 G'R &lPaT5> \YSO~PJDZEi'VU3IWEj'x0i~9: FޤccIX~kbw0\aN9o# jgTnaŚwCJD`·PigYZb78559399b54a3c96d36417d89cf141ece75ffa60a2796d42ac427cc44af631a8b97f23c746aecac d64a82a2189953e009885b82ff3fe520b1ddd159 86c62a8d8ac123fce4a0ee6d182b7e268d49ebac d4aa0e16771cb192e3ab02e06ed3640f2fecf311c78f5892a396d8a89f813f0ec229163a8fef37a8 - Relation_Algebra