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 37 t$ / WHATandWHERE_Security:threads=2elapsed=46.896cpu=89.612gc=2.744factor=1.917zXZִF! r]ŗXf1-/6vR[]IJ!@W&acK@jD; iֆ\tB!EL?eZ}N_9`,׆ӒdNWnLQ{sc9g̡Fg)mD*gTt_ }Ta,T]xc[~%򇥛$'%]V<㋰3dיyE{]3&e#!: ޫ*$L'խ}% e9a(AaxvbfVlodq,w# ڵA&o+q3ETlL"|:f r.َ9AJpX=1XY"]rndkXx{j&Oj"h<<"K^#&_[e??Lp谎mKJ ׎קpx{A`tYP-蝻DZPNgz9땵fNVwU]"Q?epJ@}#D(Q$x ,6W٢O[ٽ=/KZ9;|ti,뎜Ҁ ؏͐E@Ֆ?~*%sFm݉<=0atĩP#p5۲ǩKo-@l썚k_}=y` teLLfor! dfEUiC>b(@~\0,tv3 RUZ;p tbHH }&d VK*^q" j~vs̥nvI - ۸6K&אR. 4};ѐ39\{Bm^Rdwq}`3p)=RLlc,FӗQ t @U7ZSuiX뗅ixvXT=:E'ѻ<;DXp*ݚo6#Ċ&7 [s=F/Z]4QuЫJ[d4#8_'Rn@6a;-6:S"F,c@R:9Nݞ,:z7SIXnѵʀvk DMN/Ȓd_>X 3Չl8Ľ?6~: Whg DUdډ֍dkn)0PKX͟fAj=0ngp@{^M! Z[gsDiL0T[~ˆOuCe\6*b^8W *%}FT;5A{{t9 d{&)Rr-8vCX[Q WalC//F0;Fo;EEZ/0rJ3;8^7hƼ9j S#d@K@b9(Vt#hO6e/D˭vϹci, >FT*7|M=HvNV`\b:G `cb)qQmڐ#˴rw>!q2n.,|sކ}bSvfA4K)ab.óZ6wf0_a 7 WHATandWHERE_Security@@Iq~CPzI@^e*hD%jcTh3E~Uϔ8i0gYv$1/ȵE.o_ 3p+I-0h#uP2|g#x,;դF36PpǞ+$ h QPAF>ຼkQ9`ϳo|2c&7եu_y-31rT"zDJ$CӴU YJl jt=lEJe&Iq#ц^qqjyVk2,4/\!,mqthc ;e*U :@b_JqY)e#/ցk >Xg?/]D0` 1UA.K~].G{A3h5g4. wR~sXc8w?qBVu^B;~.EJy&m"zcY(#!;p?BaVj&-%lX.T rx?~>'&T} ]D hyOr 7j ::(<Oڷ M[mm z,Qjޏl PK]w;v"Fsɋqx*fS'3uR7ݖ/b ]hT[θyd$,9̨A0JS%s~ڐӎECθzbOġ>']wZ 5jPB'r2mղY^QQ~XAfx1/liGcwck@w[H{|0x44Z @j=4?o:.?(N]1DԆ-:#FM&bR=Sfg%c2`-YAM6Εc< |\CL,lTwVBqh)[q\%@Yy!47@7Iݗl߈s9ׁ*L¾(DEУ.@vZ|)=ю8-0W(4=*Fk5R@iOnl:V/)bXP?׫oљ!.TtnY s{ >-j[Q "ƷeS0j"eoG񑼜}6nvsOrU !/Z|wBaǟC^`HvA*8D-_rLkAlc_4{:s|U̇ڷ?fV m@TzcC^cJ>Aܯ?U/_o3O2/-Í~6:(WD,=}Q"E5|SjF|p&rrOM%j?]6My*89e0Oƹ,,:k!gME[I-fg^,t@Ƞf- is)rc_13665v G<[pBn2C^FC$6'k * nT?w\+iPR9bzCjxƞK? TA* (; XeZ%eFn7i:w/`ƫ:ߑU!C]k֯rW/ &B `#{LhZSnOΓɤ z[4$EQXm~Y, XiBkrzS3gN#ĘNR3jg m'KD@ \ ZX^$>jl [8 =t]!O [jb}Ma Tl>E'MҼjz35U8 rƌ3fejꖘFx$בZpn0s+߫dU}&],JN-n_O{<"S<>=3r/t[vD~;Fg)I'< P M"_48dewwFY+g]a<ּZMA}xIӻW.4Ttz2.<y6, jk)y9f|Bm.)װ?m&|Q@#iiMPlћ'CG$'&gM B+o`H(:3^׮p:-@)j8YR-+?/n{f5EUNetAF|swD#qغuŘs1vg0,mF _Nv3+`td->inPrmWG~_X3swd*7SϿ9orOmwZ[eҜrp\öz{7W+R=?KEmdD' 0NV}eIf M|w|luߘ?BD׋p;|DrJ ].46/1J/r@T4+pkXd'0iŐqMӱ`ls|6u̡ۥeq؜DxE mR@H$}:x4ICn,c=JoJ(("V\3n[%bbK}Nb/I؏_O(/j {#CkY#Q~ -ۇ9gYZ1ab80a0d9b0082349f8a5935f816d9c6cbe5fdba 1db3099df03f1c28cada19ada3a74cc81ad144d5 25fcd21f22d7e78fbf9c7431cefcf47a109fe571 2ea80c097e975199e5a5b5134e6d34f77596fb72 313a93d05c3a89cddb927649ea4364dd24f1ba12 35cd6aa710d94fca8b21b82f07bd6d0ad19d7601 5855c11fb47d4644a3eb1661268515118b384fd2 5a9fef15dfe0647f0f880e3794ce8714bfdb3775 73e45363585842c702e7d37d17e80e1fe57ea21a a20370c8393d39ab3c57febc38a4519af54dfcec aea02b31f4dfe66729e8a51e8c33a68989d71644 ca0727eaeb92eea6fafeaceb7f36e3821f747fee ce8afd10ac419670ff92421eb7eb5d4a9f51eebd eb74f23254781395870bf911109bc107105c8b50c7c621c8c679c6f81c939be460dee2fbe4c459ff c121e04b5193f7bc8e7b1316cf00321a124849d8