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 4Q  ]/ CryptoBasedCompositionalProperties:threads=2elapsed=11.780cpu=19.444gc=0.680factor=1.657zXZִF! ]ŗXf1-/6vRZyiKEh[GIHa3灡U.YX.YtzqAd8Xv5[lY$%,6R'c@&Q<\gW \MgY"YYDAIoJz1;8!ѧxO 7;{/ׁnT8g@. &>`Y ȁ L2oG2p& gA06j0^ bYuVr="%HR$TT %$Cq!94R5['Xd;LL 컎 y"NN3isaRr\?Y7sOG9/wrziFDp2I %8gw8;g(3A*c.}=jETP!~ ?s+K׷:{\5ЪlHQsjg0PUm)?LjNxˉscyDXBx%$6t9݆6xn#ҺG~*Aiq|dQK iYoTCewn05G(F~ WHyzA;^$N Z?VᄂًLLJ_H@I6ţTQfy7Aq0Ū.j9Z4WұsjȀ-@DLF _rƋio7ӰM,?Rrm gupp睨"~nn/íD{B~ \Hfc*#7z9$ ίȿA@M5YxK\7rq@n7UsB݌`gYZd94240764c4f39771f09aaf100506eb626077cadbc695fdee8824a798a8d382701fae26c53fc4747 5f7f982d9d8d0282fbc15cbadf4b07b06a8c8d77 %Q CryptoBasedCompositionalProperties