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|l4 ] Card_Number_Partitions:threads=2elapsed=4.256cpu=8.096gc=0.184factor=1.907zXZִF! ]ŗXf1-/6vRZy_İ<&9sY^ق 2wp\OS;1Q]} ?b}mGgYZ7zXZִF! %^]ŗXi%;:džk$CKZ/aJvK=wK6A<Ə5gWЄs˭ ؛J t4ևۜi+M-ܒxȵ+"\ݥ{L_4޾Ei '-T N.SQZI@6/+,1P`?C5U/fW5EӷI Z7Ͳͫ2hNGUMװ1PyO:g@f Ua^ D{Ϋ;bAtKNoھ%igbIms6Y9Ye4OR@NFT½7;-]9zC} c4+5##Onkiv}o $1UթE(;5&3ktا17~dgkg΃US\a*P9dԕ(\Bⴘ(3ZLۢr[1h67i$jUϯլ/z';Ē^[pİR2$lb5=8}/9ADc1֥Bqidwd[H]0KF؈ضnA;i2"#_E~e)}Tʮ47T\~;/Pu06K VLeVbra^ ͐J(UgYZ9cd5fd357c8e46ae81a651db22f29a8aaaaaa0ee19483222939fc489952fa9ff470a43a5bdddd767 6fb5181067c76ae090b98814e5ff8a3a2ed813cf 05722cafa430ad5d32034406e0ef9a6274c6ffc0 9 Card_Number_Partitions