SQLite format 3@ . YYQ77Atableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_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 E/ T ]/ FeatherweightJava:threads=2elapsed=12.389cpu=22.440gc=0.728factor=1.817zXZִF! ]ŗXf1-/6vRZ9@{q$Szyj߫iII_ EVsPsxM5!Sik!e ŏ$m*k 눮1T@B+CB5Nٙ8sh: LO#Fh0qA<1+%MLN,Hm炬[Pqst.'ěgM\lr mA0nǢi0Rd-j*O\\ƨ$(%PY捛. /ʻ%(K1$ "$,i oصh=_, ooS()(_juO"Ej`d Ql2Qpy(0 &%gYZ7zXZִF! FQH]ŗXi%6f-UҰ_?Ax  ݐHhV[ پӧJ5' |nt3D7^*,%.ٝVlLFG6DqYl]yE+`}5ɇ7@Ƅ`>3s~58EEup,['N[YUsVxr8/4{uzɭmO/ |ǁD[uo)HXzBYN.abշhD y2bFK<0E*ϿE3-y:KƢ)dk,O. 3+ }ߺ( 4@ Rҋ|yt};Ա$bX5}Km_wx;xt4 ~t\o}Xĉ Iy235`ͺ1|?w)\)T4K )B32y|Lqθ >,Z<J{S?9܏ `JxsMιKԎHT oNMr!\'VAǜcYZ-Y6P :v8W>FU\ un9n:tu]Vm_tr) 2Lzw16i%5iֵq soqioo. )$t"yx cZ~ ;uꏔl`ԃ=TnF@${hSZXdXF&d0!֛+"ū?. <"DMO 1G:tYQiG^)DײץQa -Y0Xж0:c`ݴs=(qɒWDLez)I^< ܵ׷RH.Ti~ N kFW<`njz5s Aƕ}x< jH#ohu2ȾAź;iw03.rK(-20LR=@ɱqR 0+KE]$M4D\LeoQ ºNҌ?dgYZe6fe948b9a4b0db7dcded0f5b90d00a6a818acf20a2796d42ac427cc44af631a8b97f23c746aecac d64a82a2189953e009885b82ff3fe520b1ddd159 / FeatherweightJava