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 ~/ T4d ]/ FeatherweightJava:threads=4elapsed=8.046cpu=22.024gc=0.712factor=2.747zXZִF! E]ŗXf[&%Ym7۷kX@s /Ya*`7U0~\bw֊ұj'I\˔F7#JARW Ř@FV$8`8}I7k3F8I 8 lƣiƀ&`Q`ȳ^T/A-TG7(e )6E6 yCw9fLydh6UjwnmEv;#&uڃk% Ah́ Hi?T/tIt^Wd{7iHm`1-\˜d)ϵssp\q"ZRI,Z|͖N.(qd"BԮʹg? /,igYZ7zXZִF! ]ŗXiɟ6>*NWk,@uO#Qkg2Nk,ށe?[77ɍG΁5zNX;vkoPƢ_bج%g -xָEjH'}7NF+tvBbFgYZ7zXZִF! EQ*]ŗXi%I o7/W9,I | (U$¨qO#W2օd4<pZSj8SMXJ:OCŜ8 54#Kݡ2m\l+@ވE ɗvWAȪGaIޱJ@AcD%$@y_\ LE?0T } E{jUb.uZr[H R&?0+hd7M)oEdK ,C"NъRL546SN4%"h!m՝ye`8v;ydQCJziP;bxZ!wla  OA I2efٸ\R:=/>Q_bRu%C[?yaG^̦B2nHh*"p)z4Z M 0nPl1붭:3Xrܩ3TnTth+u|(]:  S\1PI(s7$7ʢwՠC"7ac$]5y{jꁩ9TAԘn_u5GnjECox}e/'ES@SۂUfn&rKWwB;Mo +Au CUC&#(hm R\hHN枚hH*L=] +`ɀKXOlnI3LczD}g\t^Jt4@qz2Ît[B^S,d8<0\\QVUfyoi?r&R6W&YJ]hsN^|KC{m0TIJ:QY8'$HOg5ɂ0ẃ=m%5Q#H;vi$[z0d9/g4 )kp/CܧŪ?M.٤y3ہP7 vH䠹' 1ƊqGnKlQ%Ő/JMr481 >D<gmj&8#Mh >!j7G[ݒ ܫq7爸8&&?d<`>.MkYZRP,WUrn/n+#(K`=Ճpobo; ̌ mB4P|]Dr,l ӧc] (KVѦ Za( Ҋ7gYZ52d672c15e4c0134f2f593d561a9365e91fe49ce5a3b6f7b3e61510e7fd7048ff8c15610e20e90db 0ac4d6ede50c29eb6b6ec1e8376256e11b1d6a22 / FeatherweightJava