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  v+$|L ]% Secondary_Sylow:threads=2elapsed=5.584cpu=9.636gc=0.432factor=1.737zXZִF! ]ŗXf1-/6vR[]\Rǁ- 1<4OȱCMgWMmdE_8f t3[W;d׃xwƈws/^td<r Jr~٬V<vlBX#ogE< ;+TM=(ۤ#1CvKf9B &XM?Ws%H9. ngYZ7zXZִF! v]ŗXiɟy|1J(*BhJp4N=f/iD e/nzC2JGtL!Ur|LK =;\ ƃ妟Qef/K"*5ӣD)gYZ7zXZִF! ,]ŗXi%;Ջ2ȿiO$\r[xq .Όcm3V* PߐN8dXnN~W(g&9þ>ؔlŚ25.?T?>fP[1d +v7v?Icp,Ѵj%"9 oy6r*R'KMyZ/忂a<(gKBsu-{lYK1ylb\v%ΏdvxmXJ' (2VE?tX逖4!p7#HjpǸE8y9 >tF)@62Rژ #|GVM*O VYN=gYZ9c640585c4a0fb46ca58c42671c9efce89cda98979d8e835726df87c7b301a8f091eddccadfabbca a29a84bba8aa29c804c447ecf6bc83360b3be33c 402ad8d10c053d7ab99109311f4289da20bbcf70 26bcee65cc1ac7f404331f7de47d326b0c7fa708 6fd9215b760d38b5adb2a641cab49c3d1cbccb95 + Secondary_Sylow