SQLite format 3@ .;  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 /7 4  ]/ Coinductive_Languages:threads=4elapsed=15.477cpu=50.536gc=1.568factor=3.277zXZִF! !R]ŗXf1-q恈͐7ӺV w;GOy:Cir8% NVJ44U2v)Z{l|aDPP+4k0, I_&_,hZp0J6yӕ+@1ְ DS"g\PSA#(>&4Xa \=rWhwoVԬZ۵MJ "(M}k&?hb`A< <Er*]9 i!9֒yL:.Ulo>?KYUA= Hww/C0~rAXOۺ@v JqJF_ŧ“N hgL7nA_D-fƽ7i,^@.iX~X?6͠^9ShlQE7X%05YeʌJ$ZO<HgYZ7zXZִF! ]ŗXiɟ1˦r~KunύNN{H="NN]iz܆ƶDWꚷ %/ex%psKz֔?bo  urJ m6oaIa8' pC=؁o5V;zXBZ)أ&@Ns'wC[.nUēX#3JXۥnZdcy3DC {kA Cf<Y6jX?JN|U`c9VoĄo6ۛwǝބl<ȰAm-9RgK ֛ 0{roZnGq?/ybj[,ضNtN\wMN%&":C#nAUy8`JJ @Sur([MI!m?`c6&y luZJpv vPk !"eG @U xG XuZ#vo25]6oy>>OAYJZ,?~H,r|6=J,f#K ,]:$K9EIBNGYOs=] pW)H)[CK-=u|g؍V" %}s2f`-Ti9'~r;HY-o,i{6 8;:$T0*DX@Cm*Z F]b13\kD#$'4LDVJzLVx;R"HC961$K?;_Z|R7]c% 1k{m{68v+#pja4qPP絰H U: -2;rQ)y8ɛ)bͱt.B.&ֿ,&$-}FUW*SO٥&a%o-аGZM̊rT+%LB#ٹ]K$Js'+HY2c2xt-kAPs\wMF8 l:< yZgm I,0]#"$拐H ce7|M|BiV=W;.FGa^5x2i^ ӉwǧRLZ 1s5^13(.2o uaتjkhC̔.$#8!eIyfr y N_LBGB xlM)Pc8J_UM p30eŋe{w*+u<75|4wh'L=<{ӲtiW7ETZ3mA7i2gYZa40fdf05485a157e5fc86d1927b1f4ae7af6d7d65a3b6f7b3e61510e7fd7048ff8c15610e20e90db 0ac4d6ede50c29eb6b6ec1e8376256e11b1d6a22 7 Coinductive_Languages