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 W/ T, ]/ FeatherweightJava:threads=2elapsed=11.922cpu=21.404gc=0.728factor=1.807zXZִF! ]ŗXf1-/6vRZ9@{q$Szyj߫iII_ EVsPsxM5!SQ-uB\Yxw&hQh-Vd.|Q5R^}ד =W+B:1WnGa8H,aE4s|; .di<۴Ni0d't m Bf,m,j 5Tt({+cI6 %A骿Iz;[QA\Nw[xhbU"2}ºbWv@\L[M؞Hr%t^HJ?U%h'Kd"{P=QA4ެqVg@\ AY˱gYZ7zXZִF! ]ŗXiɟ6>*NWk,@uO#Qte,[̹j Rlںm^Z[I jR>㪸qv.EESUڨѩ Kzmj[H#N uirIgYZ7zXZִF! Jz]ŗXi%>gxAÅK]?҄RkWm)LٛJ[$>:˜m$ (i7 W}OpGmƣj. 望' St.-A`QC!: (њN'n*7L{rpš6`gȅjMvjv :Kbh ӊ{aOv&rŒ7kHdtٜ+<%}.<!gZ|BIgXqVYg$͠EǯI&כ8e2JclzPsRFe h5(Kbm"\MOD*ͨH!pa?h? W.8|rR[& lʦX [|:| Ej; L/9ჭO`J cy(-|Rqf₍xӏCF廬zh+#| 6buǒ,|?{ـ#G<Ipރ`^_dG]eh[OHjhZu<ĝY@dXZƛ?5u>!vڔQ*b^$ =."iz\fW"R?+qh?_q=ȶ.}d#&j J۝q6H,z ŒijK )baIvJ5Kq9S2 6ᇌ%Թф[K>>tAymt%&@w%08?xyާ$ #.!)0NIADDz| "@*U s5FX`*!E8gxB>B8vyWo4*Bɶ"RkX s$̊JF֒-sʮop)3ҶW]!/P6#~Ϸ/9*tS@G s^"<r]赩In~'Wa.gd$/@.#rOル{9 "Y Z "+h H_?$}\Ex䡏 )Q*W4\C)O~k'l>TUhV\_C\z` 'egYZ3f6bb9f705cb6e9332a199e54e2e645b4ab0fdb8767d1abb4385cc0848829909014ec5284a74f26d f8f7da93998fdd1c52e2a4472eb3025f88ab3418 / FeatherweightJava