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  vC|$d ]%]Koenigsberg_Friendship_Base:threads=2elapsed=1.229cpu=1.932gc=0.000factor=1.577zXZִF! u]ŗXf1-/6vRZމUaHz..pA2`-*5",Z l{闸 ;-XYjkfl>+J^\ui= [#;U4gYZ7zXZִF! P::name=Dijkstra_Shortest_Path.Graphelapsed=1.081cpu=1.712gc=0.000j;@Cu_iQՈ}YZ7zXZִF! l]ŗXi%6SAz" ׻|p\]"Ko9\|HKnCsQ::K>^˚9=rx]>{CTqG/"TW]|t^},"VL[:Q2X<Hb]O_!!pOi`:y0p[G4t֬o\Yʋ"JI!-RK hO-&k{e<Őe9܉Wr=;(D}i6L