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 f/ D<< ]/ FeatherweightJava:threads=4elapsed=9.357cpu=24.812gc=0.628factor=2.657zXZִF! ]ŗXf[&%Ym7۷kX@s /Ya*`7U0~\bx#J8-`(Or~NoJCS"C껍HP=!U[B+&U aEϘ9C'hh`dEbޖ p=dC0F=6栖 jtr2crфxaɠ@%v O*s my;Um5h.رgYZ7zXZִF! ]ŗXiɟ6>*NWk,@uO#Qt? :'pz Gm%* uHK.L sx\wh0n3]Jt_([4~={*mgq ,9EQH .:ȱgYZ7zXZִF! J]ŗXi%BVEQmE7Ky|U 43}8\-荄ħ%{+*5[- |Qt ͶUl +0P\D K&y$~IXB3'MS CGO"@kT| ! ^,=| +~' k onb8Qmk5a#կ!2M=^AsaJ<; X5@ْVx客|h ("9*۬K863rڭ/M0%,h_Kd!Sd}ktl]}e^C;*~͎} # c0ݲ#K<(@˦*hJOsK;͐PNG}ɑ(ctYxz}4wR>. mtLhŽ%'A>?&d }NXKK?" x! wBjl#a( X|mfhQԺ$Iiq/X׼vxGUA w..YKhȼccQ~qyw{}d^MJUc\Ap 6j6bP©Di6C,:AwE]7"h24!Tgנ4` 7cU81*$5#'؋$@-b&jv`Wxl~u,,|X;V8 $Ś7z{PHD^sl^..!a6#R"wEQV/u=Rcu !}7bwW]2Ib;%uI^^tOfhL5TbkVO+/RŜ$08zU9)Q.̗wkwcG,'5A\{Z!: ? {/L=WR?Ys+tW8*UdZu6[pAZ.(ay:өX=ӕb@xGE#¬TyqA2]zVm;@?kн"v਎g DMg/x"Հ o2zO✮cyg-i0F"UFe-ٻ<hC4K"DoWbCQ~")D%^8c!A vD;dٚkWo6NDk]l= ^ngYZ0bd80aad6dae315c6ed6823cf1d3e81558a81d3a3853cc710de37a8d8ae8e2ce10739760530fc782 68e24fa803389d76024c730e22fc9263ebe14aa0 / FeatherweightJava