SQLite format 3@  - llB77#tableisabelle_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, "sources" TEXT, "input_heaps" TEXT, "output_heap" TEXT, "return_code" INTEGER, PRIMARY KEY (session_name))I]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info R7 L / WHATandWHERE_Security:threads=2elapsed=47.668cpu=90.548gc=3.012factor=1.907zXZִF! }]ŗXf1-/6vR[]IJ!@W&acK@jD; iֆ\tB!EL=OyWD=xވ8 7 WHATandWHERE_Securityt(ӰI ;p)N6>/Ji¾Gm|֬]aӣ|.= vO"WiDeuE?%-f1W9F-\MG?{Ec\OzsI~A D5iƯլDX`Z, ^ KA!$'QUr38 =an},˗CaIl8 \e$Gr}i2Xwb8SL uۆ,BS ]Y/$g `KjVJLYTqY%r,ߧ+_κKRMwl;*a^6?Ddx_$Nni!*W] <4V/;&]1lu}Þf0Tn{%E!-ߋm\蔮PSϿ M;vi ĘZØ@'9E7|svKꜲ?;?] jWy>D8ln]mg~c2QLy2Y]{V,WA|謳]}TO-0,}תyvq U w&^aߗ[Jru=tn <{'#وU)sCsx8i1}&{ ̣HZx4)[sqxBF>rWΧ|`S˃d(hIl#9[Ԗ[OEa#t˗?)nʸ,(jT*DFExhF." R\yYPwPB W%cߺE1WvAχ8s&"&S"PSjTI/U g͞F73:Ռg%dyOO_E"耞M򟓕6B4c!'VHd)&[%],aP~;_4«0[ Ac7cBǼ҈Z7 Xx'jv4\şH,WAu(2q{̃t$v8waSt'uގ pc{DYSk^b |NWlzIЀƒ{^8cq"zx59ZEsob = H BUԂ_s J;}OF_Ӫl[&/_~Eü%sAC8T Qa@M tIX=VG5}AF-\.+UȥfSH(dv@TKiȌ5NM Ib wn"z)od{:Uh *+aҜt#0~en>4D;ٝ *7g3[}e5m†o~.w1zqlZs1v]_ԐgV1o2O"wySz2,݅/,Jh֝i rʉeua5)s\F*ivTk[O#\g ߿2{^lcD9ʄ {\~"!d|[߭~B|0[1&x-< 0I8e(4:)raL8I:Zi*j-":#!Mt"@/՜.Yɑl_l**}xo1/Lȡlm%>:#kWlû OU]BK,G&E-F G}2wUY,qheb:tUR7̹F,7Ku&z٦#x }Йiu^b<0@-{5je݆$n)HnTשަ3J˜ߵwQsH@EÐjΜ%PkWa$C)s+ȉNo\F*DDjgׅoX R{H Vs'kv (V/`E@8W]~Nc46}VRUr=kRzg#CA^xҳ(.nʯXRܣ ǖ f _NCl)08w6 ^ UӢLR@0+_`F7)Ś8MT[A*_t8xE8.xfߎdQޮYf &ħk~'1sa,=D DYYJyph >qK:gYZ7zXZִF! j _]ŗXi%zx %) i>]c5'/ 襙PlO5jFiuǪ|'8*KPiX(EV#/(IUb}lbvz6p@Œ?2s)A%[tCU֐5Dt`R}I/w&h@]y kS7Ks)t,w%v ZrHGpQ"u`R38 ~1?t+{KżVҡ&ʰ,:pPo,WO6v:Pza.wգЪJ8\.^>4,}cOcUr20tzTGeMo.]>(xl+>oKz}&SxDP>ؗÃ&-&1Դ/-`e >p^Ѣ;;A `qS{PүapD\v-;!Qܴ<x c r A70{CV/S8.5Yw]1(jҤ];Wc02?y+=PI9y3q_CD}(yW4=䤮yyW`|ǿy>Ãa;jZ&$Ze" 3>9Jj(0EGnB6:F">TIeg+I D a[4YEY|l]uQdUswY=k]X *m61E{f_0,nٛh *]cӐ8b%҇ xj :kr<=e!J:+Ng>3(`g]i%3/b E =}Zͫ|sS#7KꉌvJͻwͣj@C k+ p0q<pJ,Gc P bos4‰^}'d 7ֹF\ʍnv'WYاOC% 55PzYLgyU|\2i߽j*gKԈFw`H@*.d'Fʨ[Ǭ߅ ^ g. h6OpY׸?7 j9~gyv)QSEM& c2mt L*~lx&K[I[-YD V_mڔWZ+lm ʓ8SHs)uWd@Frp |W,>Tdml-* HδX2glĆ41 @c,]+܋r{;(;ijpiʧ]JL?o[h-pIbJLqw¨u[ŏyG`i<7r?s/!41g۵/n ,cL[{4HՐDH{+[2MM8d&/Y 1dM4tXި7;u-q\ORG1 g*6Z7_#z:k@WdLUO9+@$P&݄5ldG;Y}FcwaR u%C[j5@uO—˕:Na9v8 A[^$ T ik;^"qm56qmV+gYZ1ab80a0d9b0082349f8a5935f816d9c6cbe5fdba 1db3099df03f1c28cada19ada3a74cc81ad144d5 25fcd21f22d7e78fbf9c7431cefcf47a109fe571 2ea80c097e975199e5a5b5134e6d34f77596fb72 313a93d05c3a89cddb927649ea4364dd24f1ba12 35cd6aa710d94fca8b21b82f07bd6d0ad19d7601 5855c11fb47d4644a3eb1661268515118b384fd2 5a9fef15dfe0647f0f880e3794ce8714bfdb3775 630e11d78830220e63a75c5baf89b65e52d00033 73e45363585842c702e7d37d17e80e1fe57ea21a a20370c8393d39ab3c57febc38a4519af54dfcec aea02b31f4dfe66729e8a51e8c33a68989d71644 ca0727eaeb92eea6fafeaceb7f36e3821f747fee eb74f23254781395870bf911109bc107105c8b50c27a9b4598ca656eb9c36aba33ff1f22941d7b72 64354e2142aad138813a04882ec6c2904dd4a4d3