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  q q 9 d$ w Card_Number_Partitions:threads=2elapsed=6.060cpu=10.972gc=0.144factor=1.817zXZִF! *]ŗXf1-/6vRZy_İ<&9sY^ق 2wp\OS;1Q]} yVPV 7tT;Ma'ʞxYT9 ߶$0m!Vbi;͈Wfg{\u/$cc"&I5 0[УE{^f-t0uTHꏴf7H!*XyViU DmP~ձgYZ7zXZִF! ' ]ŗXi%6y4=h#{ ƄӰABQ 82?̎!Eh7z.D*PEa,eʅSe> NͻhPٿrOc];8Pe_K$5Cx B^^C]@ fc &u5낆pegm/& T;h R\W ȉHA&T{C1~Ay~B1 [i8mf_ ڧD>&"Y^juZj+R:(bFYs01wߞ[7$_Ռ@5uF4lkdLw3{ r6 $c$(j^<4&Y>7ph\F>9XLENn9~`՘Xu՘'-$SeZ=v55֜ :y~P `z^z X }'d>G,X7Gɼc=;P dq>"ab|9G)DҺ?Ñ匌 Yㄘ ؠVNoF@p5PsY[fyX&ąjJL6|azew= g;a Q'=!baN!kSS_&\Iئ%w:lMe*"[;ޤKvlefѯ2FwPuO41sd>iVÀB1 lj'חS*"+o^)O6TgYZ352fcd7b2fd91fb8f087b863fba8c3715e90f859 60b521d4a49442848d2f203cdf6ba7990c1b8af2 7062f6bc3330331442ee719da0d76412d11266f3 be04bd4097d198048a83936accc0a0b3bb132513 c383796357edabddc47c7627b5fc5d4e2c910a46 db53f23c149dbea6f96962be995a01549beadaef554fc66833c1e501a5e5c7ff24471873df0a1f56 d155c2ed07829a15fa84f92865e4197c8a5f1ee1 2b469e38ab065480632e9b5b8f44c208e16cab8a 9 Card_Number_Partitions