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   _9Tl ] Card_Number_Partitions:threads=2elapsed=3.876cpu=7.272gc=0.084factor=1.887zXZִF! ]ŗXf1-/6vRZy_İ<&9sY^ق 2wp\OS;1Q]}lq[ 1gYZ7zXZִF! p]ŗXiɟy<C{ٞğ3 H&rAre"RH BPl}aFm::KKUEQvgYZ7zXZִF! #]ŗXi%;c8HmċaNJc]Ź]h BW3kIv-| |B҈}Źmñ5!n NL  BdKV}qyƋx5˓+NcNQ o1b'hs8' CĖZ? =@`eVwMަW\ڮ 1D@ݰD?nEǛ騗?.Bӭ0ndquAi'^@`B4 QŝiU߇RGz\7W2A5hw쭔N g- 9Uk|d{oEmjS2BY'~{#HB#v(bq>nbPeǠu괓_bqx9BWDi:ܶ"Vf/SU߮re3FRXA3\(*(ZkC)%*sVUϪ Q%mmQQ`}a.C U&oS4FǜSëUKC&ϛ ZVWlJKiI4P$̠2*WM kC8$ r[~72T +_ p8UR2(CE؅RMr~:7U) +`F;gYZe5e0a1539d496f2e1794ff2337aefe5d5649393b79d8e835726df87c7b301a8f091eddccadfabbca 3a4e921837e7e81c84e3eeedbf2fa8cd3538b9ef 8e20ce849646d33245e5b8e0a39681f1fa96c617 9 Card_Number_Partitions