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   o+dL SS Card_Partitions:threads=2elapsed=4.795cpu=8.324gc=0.104factor=1.747zXZִF! c]ŗXf1-/6vRZy_ĹXXVm^ dh۷n)_u`Eitw|&bE{YT3NKEzST$|l ߙ/e~r28,Y͋~JOt#\H&qTgw4 dXI)yh0r=*.]8gYZ7zXZִF! ]ŗXi%s;7hEAf^V>b1dF+[AlehP,=up7xj{Ϝ5m{k j+⊚9w!4ht&Ҥ⃋( tZB>Y(8HN>^2mͯ\' Q }S ң XRܪbn,cRy"GD}KpV!32C9P;4|cKLn,o4Fyb=Qi\ /Ws7= kt(Lؕe:c9 MO Qp"l ޒ$CY2U,yȿy6+Sz[&r,*ts _B %TO`d,U{cPvBe_wߩeZ. [Ofep"1rthl}yȸ( 0_? 0m-Aƻo!+ƹytty^r06&]DGxr~qTY4':#,NdDH*0ٟZds^(j┽БړKhhiAbhgYZ2db5d820e2315d27e7eb764e61ab1aca5aa370d2 3dd1eb530c3c470b47ddc4d434eea2c5684cd8da 562d636d00a59805c5124949c105325f55960d9c b3a4e52b308c1891fcabfd74c001324d923b04839711977f48cd7397b3b03ce4fb09271962469dfd 76cc7bc16bacff3c41d173310297a26a15be33c9 0b0f6ffbe0f4770f3b2c25543ff441b61f7ff567 304da4539ce1bb47c325b24d4065e65638df539c + Card_Partitions