SQLite format 3@ .0:  B --?tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "executable" INTEGER, "compressed" INTEGER, "body" BLOB, PRIMARY KEY (session_name, theory_name, name))?S-indexsqlite_autoindex_isabelle_exports_1isabelle_exportsh77otableisabelle_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  ` `%L ] Pairing_Heap:threads=4elapsed=3.116cpu=9.392gc=0.464factor=3.017zXZִF! FA]ŗXf[&зyY(}7j{ 7wٕޤLcO:]sv٧"ˮ9cܭQ 8,J6!^7nE>)m'\X9d~>ֻp/#2D*4J )mjo3d#`0\>ƑEml]h(`@s'.l] D}SܭM{ 4Ό>r$n&3jWs12)DYVVy(KP5;IH<9%sߨ$hoJuVjOVzjur #) gYZ7zXZִF! W]ŗXiɟ1]" M${np^PTܶemDb!مT>A!q%c.oQJ7w/\'XO! ti2zz3Ey L'혷[7VUx,t(]:d˟fgYZ7zXZִF! #]ŗXi%GkDdq28kbܨxF-P9L'w-D@/[2.[APۯ XC7q/(z K .hm=8РL@4(Ukr̪M;\ek0gu~QOvW(;44HTqnT*Kw)٦Ej6p`]ALJvX%,z굾F`Gmh?zz/ 7ⓛnwHiQM @Rnq8 z-sSrLP}ZsI;ho@'Vl]T__43Q?>v xNtƽZK?a k]7nB8S3*}lnqssO@6 ( |k=#S5_ |QAHoJ q&.1n S9n\UQةfPܠCz"SZ}-i?/4@zX/dRƱIxzR,sm /z)$˱ɩsoCxٯ$ SQXh<ɢ6g UQH&flt-m9ܒ4g;J^#gԨr0_;l_ kq8eqU{E!5*1Q=VOA% :ӱcn ȸfɓH*G cgYZ8a3d0fa264dedf85257ca063e82373176e5423bf4b4d09c9c1841a4f01c8958af89ec039a11204c4 f852689b23f90c1209b23c794bf5ab75a3b8eaf2 17d03261cfa6b3f7a3b00fc6599df4c0af151fd9 % Pairing_Heap