SQLite format 3@ .  B p--tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "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 ~1 |D ]S HOL-Probability-ex:threads=6elapsed=29.283cpu=50.032gc=1.616factor=1.717zXZִF! ]ŗXf1-q恈wX82Γf^en_s9@mI`_9?):e1Dc`$_.>o^!_3~ ǏetQŐk3dV3nƷ @{qW=aL!^ks1 ț!ҩKtv @ޤ, q ?"F&\.^D8b)޾DǬ `S0A)DϾ0?H.8g@=P?(htuI~psr_'oȒ{SkV!"TΦFͼz]5 =͘Rե ip[r^V6{d]vʅ~UIܙ0%0c}C7Γu#p?0w߹? (a5me9A soڶ £ ȭAy!CB4)VDWy2$wHXT_=2p*l@5HM̸KTWB @dCmw] 4fQ˴aNVX>UTxY!sZ^aR&l UGi gYZ7zXZִF! Y]ŗXi%@`a>(\;^bGj׼ɋyRlAb^y$<8ŏ:۽ޜ3&H p,@6K<,Z*6`1-MbJ6Y^NW݁i__NkڈXϒCAco [44) K?],?Qf #|]ۊ&0y>}U-Q Z4oq"~+>X{nQ$&˵aN%@–GoLBqc ~,M ]7x&909~T7z.T7, :Ghifs.bxۺEX - k A:+ߧli9ߞ5whVY tM|l+je05Fݤnk@G ߝ4{ z7#:݅U${3}ByklsنوOo}IړH"іǤ8ЖB dJޔ㘰'%^%M1 bvÿ VԐS1ɠ? s"?N1 I:hxH!P`!XQ櫿rQwUbW שky}=k ^H 7P;Vqot98HW!& {7}*UlEhU'[U^ θ|t!8!5Im۴:19AhiU~ 7 eK؏8ꆁTjyB X睒"'q^>i']'RRB^]$i:pd_]+~Lܟ,$J %gO^_ -wtџOR@`g2[m ].wTI17W,;| wTdZ>4̝5p^s} *\p-_sHZ#*NIZ9sElb$S iUK^m+G[o޴۔Ce̲wilwEdJg