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 + , ]%]Simple_Firewall:threads=2elapsed=37.799cpu=71.392gc=3.520factor=1.897zXZִF! 3]ŗXf1-/6vR[]~~;S0ɞtx?ۅ==0! Np[e QW)'&[]A"6gIG!ܝ}L5fu9Yo(u1@ƙ}'ZwFyz^E n|>хwYy^(:*ē q<u;76Jќe qX^EuG뻖l ?G84ً^?IJDZ1]O&}H; ۫Rm4lh}$ܙ}v#A"O?, %$E|0lOB>J + Simple_FirewallE 5Z XVwcTI80ZsU,`Bd]э>G@"/074dpfrF{K bnOz,m2lc#R-}Lض9#)$5IXG}LY,'sT/ԪpfFo!Z*Xk[.ϝn,%OZZff',Z? =`d|Us7ƥMg\W_#@xp,sQ.a=m3/d.ϫIuH)KZ-9QJz{挱vLPp`;WꠞtGiv& Klx6S=GbfˋMv`dN7cP_PHT{ G$j~@mfTG^_IZ_D>jfȞT Ii/Wrn<3៷ktu.re@5Lkm?1hOYGxJA86 Y+n#4_KOM7C0{ES* þ6 elgw<NS[?Hd~^*2r3sbXoJAΓ+5[3#3j8f QQ di&QiBhZ]f~z٥Ѡ3Uۜt&tanj"b G,x[qp⼰? %yjX$7lLtLO=d*)%ߙdcތXjN:)贾"3BkTO3$,SޢoU'1w `Ѭh{tZˌ4Pf@08Ӳ~e!]%s%i[E*IN i[SkĨu16J7UPY,wg#Dೃޤ=N70/&lŽ 54Z@`OYrһʥO4[nɈpVE3tc abѝ]ƥϟc9uUu ކctِ k$ VOxJI$KX:!pEe!,~xdf0C} ?JT|nju(kvŦU֝5謢3eSNrd<Һs1dl>2sp):;h>`iUo1HO|j2/I2\f(N\v5oHڄ_Mixfr }/m?1 `/6EĿC=wElA|2?LdiuY1vDCK/ ޸$e;2'O5: Z|V/NXҷ-kiQ~ > zwv)1Y!+NU ^A[?SG.blRT fۆo&>ѯ4 saҴ;"$h4FKQ(j4!ɹh vXB.P͖`ShgAf@,é\!UWW5@i,OF` jt7 J jr:<ΣJy릗Z*35UXo =+ OlԂdG,za%nRwODD]EVsP2F@Պ7-ΰ ޽k`QDk=+ҟVWE/rM5" ;yEKCIu3IYWZ[rǶAGn HBS t/=0W"A-I93 GwW<.uL gEtDebkȋV.MxлҥN eOGF/ qQz~9<2]/֑/f(gunst