SQLite format 3@ .0:  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   r/ T*NWk,@uO#QteX DP'Dqx$:ލ[<3 ÿq7+_,+;%LL\N:YM*I+j)^OϦoh#b%sP%ߘgYZ7zXZִF! E>]ŗXi%GةzJCl 5;tk0eBv3DTC8 iJvɚHލ0YI8Z|jڝKJہ:R*\DO -F1fYJ@!jNTV\ՎVqiS^o`9#cǎe<̓|WDY^&&Q[%Ȝ LPlvEgCT b`!]k$=fcl>e]i^30aFŪɲK7Ii9jI͡Ҍ xz&Q*' rPx/@Jh AZ!{~)ȥ݈\4.xB#GH54#$ʰ3A|V¿Oג3%6ܳ+РAԶD"i^Բ"mJ,$1?$/cSXo쮺QRW?}7 ^|e7N4loU!)wJ^YT<ْˮOCn+PeKeZv~TІ$Kw]ӂa瀕aᕜiFO+SVվI9p.gҸa^のM} 7+ ooo9٪k3p cluʯyE>iəznj2GJl?U-J8ZyLœAʪ/_`2;^,*`3j5/Km;WR";B ?s+ #O04$註gH駑YeM?PO~29^>A8YMxHGZ<&/iA,SN e59$/:WGWW,uOׇz H0t֎t)&LPEFe?f"_.[|}7(`2Vvl iHi$\qXȨ6-u0 9ʁ<Cn:ȕԚ#x7QI ¿ 9)UPǙ q^ٻ.ϣ;MqFwgdׯjhaa#Q0r{#- E6yp-)m⸆>8"3,l4ڤ\O'3~Ɠ_w0B{n44?85j䔪65z'j3Epm$AimԬVPv"L9֙BM?UR2&MȃNjΦ{ s ϱgYZf37b2a288c59e42b8d8c2ec53f72ae83e6e85a92c2093642ce0e52d658430117f07a6a10f135143e 958f81e74e154e8719a792f45217a865d1da1a47 / FeatherweightJava