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 ""[7  ]/ Coinductive_Languages:threads=2elapsed=19.924cpu=35.112gc=1.528factor=1.767zXZִF! ,]ŗXf1-q恈͐7ӺV w;GOy:Cir8% NVKh^̐n>V~a}0!.mp* D Ĕ; @Цgŏ9+%%sB?yƻ'UOEbYBҸry/MR#~w3E0ERc zD+FjIIKZ [(fG9tSҋ ;E+4-plv@cݣ9G{Kyŀq6&M6$LgG5 $AsdRng1c,0*eJS҉Sǰ Άh7ӳz&%չJzV5|7Z?bkע1b ؐX"gdl2JUB1*"dW[Va#»Hg_O#>j~jTq 3\4"yzom2* UtEupĺz@a/6H g ZGv]DX.sP;,ï}H8:'Fe-=R1Z~oڜ۸T`dHوt)?/Lq8\5gYZ7zXZִF! ]ŗXiɟ1˦r~KunύNN{gϝ/P:k&}Xce#67ip*V|.Ži7qVJ3R_’hrҦxH&ddd$'f6YpAGWr;~gSAQm`WכboOd?ېY =bMX[Hfk^*8HB;MXτ8Ocn!\j]!%igp?q=lVwR*o#X zy$PsNXI][p"5?JBk*49ُ˕7|8 V,2$ڳ1RMz,> nnb0vrԼ@i$V4e 3Eztw}&vo+t40M/"!/x_cb{ dCӔ5 i ֢:LNSD$ZFcKتdM"9s6}9Z{Ni;S^'k!Wj%_vI\Bҵ`$:&[ijnƳF?Ά^J9ږ,_"`U7MAY: Pkh\"s`'WH2!{!:@}!mFBNqe`C#}S4G\U~{0ٳWbjx Fbr8%ARpt\{s<'|wdr'rUŠHBz>zs0,!TڦI* vB9%>E8x1L/bb{WY$U&j}B%֌]AVYŠXF+)9PTԸU&с1K5&N _OvU"{z$l.KEt_,ȲW3D/ ~r((iD9%:boρxT)WV4 a`.'E%_WHL;Fu.K=LDZK`g^۾; 1gYZed497c2a9aeb305d613b5e4b1b08d3ebf0c33a7497833069aaf33e80bb8bfd493abc152a39f1dded dc78b241718cbecaa21e6c3d43f6dadbec9225f3 7 Coinductive_Languages