SQLite format 3@ .  YYQ77Atableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_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 ii7 <\ I/ Coinductive_Languages:threads=2elapsed=17.338cpu=30.232gc=0.820factor=1.747zXZִF! U]ŗXf1-/6vR[O CИRO!,<^6QU5 >_hE+*'nx\\wƗ D6)뮖bSBL%oЎmbC~&RP< i6X˰kʪFl'bk`"e]{|sJx{΁{U}wڻvc>L]p/(TYhWp9Of pR=| a.s!n,Y-̍TPeqWkr҅lҍAK=3[3kvmhJRmw3.qtXS9pxΙVn!t{D/T΃:/.nC(Dd/\| 8?|LMz9Wx\ f3NՅ,mnא-Rq8Cpd!WRpnj{x}p=`+trSCַ~ j0Gnfd㽵-6- Qc1EPnfA}j|p^ (!T1pgYZ7zXZִF! [v]ŗXi%}_oA K. )[_J\Fh=<L {-'b1YqH=8BX Ҟ]'vV8Ϸߏf-Ax^RPީѪcJ TMxKdu[y.U*a~K#Ӕg2CKFP`g:$.6n_2rig}+oNjʼFz~7UWE/QQݡlk-_2C w .D\Р1&2gB|^@gĝj3rܹW8>qJ*@}M.jKuh!,Aiߴ. 'X٨԰k3Tź^(gxl~ M]uhP='+E(9-ێӲmU=r/{\^|l=|X9H (gy*ʆWIgڢSK>0+.φ!A,*WDqӜŒVɶ9u% $?d2z+TZ}&6YlZ`)&| *C:lc핀8ח=LvEX&կ ԅPxt^F :.N9d-Y})F ko19ͪ$ʬn g%>qEydUG{.O'3/pīwtE] By)˛,[@B5JAWJ_7 S^Z0}]$?Àl@pX)/^apPgVOlpf,"9,)QAvv&BSd!Z*܊kmai[T;^qfC Cr W4iչ? ׃w{JՑ[.ü=̛ !UQ⤎>{/潭Ԓ?i#z^ ~A2Qŀ75҅I8NnC;x[u*k>;|ڴpqC` OϱgYZ2ef530c3346e5f584e31f63f116fbb74cdb16136 32c698b051d070758ee310ea41dcd60cc41b593c 6b3f34b31437c70042e95bdd0a1d13e4c08cf201 89d8f62af42add378a11d94d563e9cce40bc34af 9c580967da24d52b7f0197b4845b4404e56acc0a a438efea6288f9f4f15f7d643bb504a34d38c343 f72b80855503bd44895e27451ed4972f4f3769490ba1ca971c8be00bf94431f0078936b10d2759a5 0ce03196a7222f6488e31156b520bc36971a656f 7 Coinductive_Languages