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 g/ D4D ]/ FeatherweightJava:threads=2elapsed=12.356cpu=22.392gc=0.720factor=1.817zXZִF! ^]ŗXf1-/6vRZ9@{q$Szyj߫iII_ EVsPsxM5!SQ-uB\Yxw&hQdPCzAIvͬ,?ˌ;9434FTG;ꈣե߮;=07XL* H'O\1!M6v!WF;?q+ ?[/tXb5n2) n0FR5mPĦ|sLcWr?7xx5q|R֧p\FC`9EE@&ayfZ .SLl8B~ԟ )-)6 8&zv*WDƪD.$Y._M$-;`<gwzmϡgYZ7zXZִF! ]ŗXiɟ6>*NWk,@uO#Qte4 Zj;c:z&3Cѿ[A{Fi}oXoϳ_&]q̞Q R*U`(Z8pmuulCp[<oI?gYZ7zXZִF! L]ŗXi%;Ch~ܣ:c?L/@ +c{̜Gہ${dujQ?*' qםfCKV%qWNz!Z94m@9)6nTƍ|_Rc/00}N4zQvqW7ADwE v{^x]:P_KrX$xhx\x,iZKKhHo( izϒo-qIPeh(4Aa LrʡSc)^n ]dX HҔ8c{3n'TekD4>r7R90G1"}AƎH|7}!cL Hxm^eΩBì!TH:MUREF) ? .75.i]&aunh`nf6RðdEP5Gb]LI(`$J^%$=ZX0bj-P9HIwPɶ 0?4]Ir PӸDiҝR-[=̚ @'"&!㩏oO&΅Oe=HDa:1 B$x 8#ƶ}wz6̻N%Q2S{{|ܭ4011U^,AǜdX$gF&-7 `dJKyq28\7cp5Fc(]L%(}e E?ZDaAӗ"ymJxe(z{Pjf(Ն]p}R\(Dqv}MNό<.=jAP70yNv \AVyUaD9,"Ф@1=[J? ՖU־2<9Xeٕ7|e\aU^E!3gFq0LE$Ab3+I_~uz u@t ̙4ĞgYZ7128a988c0c8228f725c12d7e755d0c2e495ae25a70f3b1dab78f27422c2c199c67ce3165c51f78c f87e99c2e2333d54a40f2ebcf261012b052e5e39 / FeatherweightJava