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 K c]]ZF:threads=6elapsed=9.855cpu=34.412gc=2.168factor=3.497zXZִF! bb ]ŗXf1-) enȈA T"%zav{D~}otR-[U[ֿp dGT|>KYqmB;s!iTw~i~,‰~8,Y&^$H !Z.3D!W6B*԰2ՒFWWO\0T( Xs*d(+dƾh!T\IJZp9 э15uNx |RO%Z!NR 9z8۫^0^N * BgYkӐNAXtS#pmqbRD҄@ cReLxR w{^R%$/Cj P 2M>f? %W{V"rP+9 6n"CqU='Z~R # τ9gٝ;v~E3z/@Y}$AribM}Fn1 0p[ (?yYLGW,B?.*o A2#*ib.e܇k\e}kkmB/mI.{^6'H.Z#gqar‡o**;@ ̦_Ahufs/,@&-o]bRf!_.k~9gץTra%RmKjgj!bu؃[]ܹ~ZKi6sR)qJpd8bP<2Ù&&: QCuheJDTv^Qv}2?DA`c|51u2ҜAY!0:J{348)8V!*M22PP[[AuIWu!d\b(G%Łieʖp@{3OSKg?D?Ko +7Uٿ;MlgѤk˙,mSUڱKjT6eJU̇)nL4d N>Hl+ĻfRY]RqM< A}'?Ը]gjAꖒ{TNi|BsWؚ(0L7:4|æ3>$3V sU`QcImq+9q݀}c,XEpKX^" Vk:{8IXLLl͗Rߐ9 \h>(ycSѹO r8]#fvOZUmB@Ac\g4Ĥ>7# /p{! 'XWBw3s k8""?6 FVR4 y"K7(z>p-*1}eQDZPhvVWgR0&' mn˩@u I7,'eH0u+"Spm㛗4BᭁQčF?P~i ,q"+ZL1,UɃ%&o6z1Wׯdm7wR<h4ױgYZ7zXZִF! /=]ŗXi% (z^|vN#9!. K]C+sHOY9ѻ#$/vן3 ;?[J׋" ˞XJ3.Ӥ` t2ч0Rc,J CqeqL̛'Om6T҉'Z!Ce }} |"gtu҂ (``q ϭ,8)(QVܗRCFCT  ZFK/Rٸ 'f?dŦ)O]m`. :(sFi䍗4[?uo#MܚX7oF;kKS%Q1gDcQKZwVd~[c7C{%F)H(c%l{=ˍ=E_|aP0|<J RtRrFBw/N; CȀ+(MN~y"x~ǁҪOMH ?-+,yWwbFT d~GOavZ]rb-ip^uH DMdlR)b4lJ'OjǸPl?1ڴ BHY/41Мe=Hf>pŸFC*(%[ ]\T5)85 CCY~ǭ[DHrZLyq+hb:dn|i|gK{gZ|UO;3yK|a1=*r̻F[ fXe/9,DOSQ-CLzBpJZhC?Zdž?:/r;lk,|<&蕼`~߰lyRqCSosIʸ1Uq