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  9,l< ] Card_Number_Partitions:threads=2elapsed=4.373cpu=8.212gc=0.196factor=1.887zXZִF! ]ŗXf1-/6vRZy_İ<&9sY^ق 2wp\OS;1Q]}SL{Qw,F44JM5u`> \CQ]ǀeT@@eN#r+N ?*T,tV1MgYZ7zXZִF! p]ŗXiɟy<C{ٞğ3 H&rAre"RH$q3k*4Zx';q-jPD7[12&QK'ievIgYZ7zXZִF! %m]ŗXi%W~_JG(oJC6yӒS,AG‚?D9 +öܓ8Qv- "y }؎S]{%U+ЬOf>WC4;N#8GǖcsϿfo'CasT#cuλj꼱Aa 3H8@=X׹AsqJ}Eh?KJYU qS@pa {~S'%:p`G(3`v=8G{?*ӊGahee,tUX -z$]CsNqRKWr?bT%&Sg{Y&K;SgЗp5O o1od0ܠPxg`TFW!^X=(O(QO5&vu/ސłXz&5}BrqαgYZ69f205af23c7d5cdd6436e3ee6c48ef44b349f9cd6ac031d3e88d65563eac5f02a097b7a1de9a7e3 ffd3c2f455ccf76046f1a522696b8fe123ec936e a6afcc2426fd6b701d456a4f4e00addedffa6cfb 9 Card_Number_Partitions