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 U5 td< ]/ Certification_Monads:threads=8elapsed=3.543cpu=11.970gc=0.857factor=3.387zXZִF! R]ŗXf[&з>V=-t>&[oXzZ?FݑԟAv/{H^C1Dȅ O E[CʄhVR 5<-p_90W1T KC5m>7 Mtϒ3&L_>]N@@Di#zW;DZu΃N*{R{Uʿ0X›T@c5lN[WZ2:ЎhQ[*M˂UqBLhtef0`GPLGlG'&'{="*a1ت`( *4-8g|Nj~[Ǯ~Oh!xTx ^y5jdN!iy+( d)+U?NWv/o{gYZ7zXZִF! y,]ŗXiɟ|E\Ât+.*aphG)%uG&?ǁEFAwW]1+KGJ!\'L@1oZA5WRcF ; w.T yh ϵY؎jW8i fՃf82'֛87deYdެ _1h]ڦ3#c<@k Z$l+b9]]% IU7[7F[h1\$G^}j ^pwxgYZ7zXZִF! "]ŗXi%>rF;k1B>u=Lu\Axc;Zzzl{>ili)Q WYyMKH$5<<~E H &C<}] JԪ(^e I:"6f&M8SkwVr$xi#|{ z"K.CR7>,PY8b/Jʩ wZXiHwYg3mZMJI%tM{ Vv\c,<{[fqEi*+0rj\NJ뒰wxG3 pᠱ;繳K\Nr[VHfoҬɎ mYKS%-#`Åmm.Aidγ`$?*,y*DJ˓ZS6سN,-s[쩴Sv  o'Wef "378OOa]wvGRxTN4ֽ|B[>tCh6Xv]H?w7\UpYWI7nP-sI Gۘ"DgYZa80f370b000de0e87bf2e8715239a24d43c1500bc58d21ba3dc8b698b4c6d36f436849048b45c256 62a71e53b0afa041c6e33c7ba1f783dd62b7fc3a 5 Certification_Monads