SQLite format 3@ . BBh77otableisabelle_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 d4 ]/ Coinductive_Languages:threads=2elapsed=20.803cpu=37.124gc=1.688factor=1.787zXZִF! ]ŗXf1-q恈͐7ӺV w;GOy:Cir8% NVKh^̐n>VAgca{ih4WhݣTPN`_3DmlꐈzJVQmOT \< \EZ!)0-,IU좚7{(#ŸDʗ >300QM,><' U@ߙW's"¤D(?.7w(mFGDN!RY3-3 c^@Q5Ѕ:9[z]p~z#U8TwW&oǞp%kY4Gi2xp~K *z_PGrS5Ǣ8 x>6Y[[SUbf=S6e !5iOɨb"*i7$`j'dp~^]O:p ;C\{VMBbo94uaMZM;xEQU[/!3L V#\reJazV5{}D}˼x^cN!oELp;Ɛ2GN &Ej+rAI1RfѴJ[%+CLW6lD ĪU l*VҵՂ-r5VgYZ7zXZִF! ]ŗXiɟ1˦r~KunύNN{= {ڸ(j?iTgYZ7zXZִF! n]ŗXi%;ՊC POA9n0Gٯ=};\L? ix.K'S)ottfB/8F{ύӆR GDI+>_`1OA;wg'Wήn[$P /tq0 ;{ +N\ȫy5hW_&9 _֘I]yPq!CDQF FuF/N_%\m3ه2y-#!wB׋!i1i;_'|ޟe[M|̽vfW{޺z]+{@wcIxI/Ŧ#룽=Cxã( 0<I;ةpÔJp'O d|ܒ!J˳soiV{ x$٥t; jaզD+˄]t,I>TrU]7C0yCXbhc"(Md([\@ \6iгe;ރ ̈fw:C[!/:?^~^IO9Up(5J<3 :r)E Ux>e:oG#cZØ=[?w5wLX3E, 5kJp_Vi nG&>tiG=>ԝ6>f6>@լh(P9+= $GǑIws%ڄ5[ #P7]-SxD\ :RJ-g^r՘1^;QԖL\>vj.=RHΙ0r [c7*v!TD&ahrH Ra0rFPETѸ٣耗V KJcBvi^I7㊀ Rv v#90cAHoSىnj#ZM\y!a($O=>%vݪ.X17 +?ƕ c ijfHf?>%x2[o@sfzdxJ~4Nvɜsbsh%42hv˖ /"zB=6ͺ hTx?K VJ~o1DeFea2j DBO` _if5&49dYqL;*3P6b3rN;)4رbElwcDޢت?ĵwת֠1;fWe(6y.&GoHE_b[y~kO8+`]zc稦%H(-S=ي:0@I(O&GA@Ixy ^4gYZd890e00b5da2d5f783902c4e5667e20fe64a70cf79d8e835726df87c7b301a8f091eddccadfabbca a29a84bba8aa29c804c447ecf6bc83360b3be33c 7 Coinductive_Languages