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 c7 ,L / WHATandWHERE_Security:threads=2elapsed=46.857cpu=89.844gc=2.860factor=1.927zXZִF! i ]ŗXf1-/6vR[]IJ!@W&acK@jD; iֆ\tB!EL?m{8#е+8f(8K)oڢ':+afS/WH/S 5.|[Q+^AT@f[H(unDcI#OOnERC&oVjY٢; ^7y|d6= d#?AnV4"X@g֞XyV3rS6)0TTQΩzLL# OD^v_N'K*l˻zňN`zO3i$f]QId5P47}2@SZ >@ Bo1 MQh!My4"_F@LYFOhxzK 2ٟwq jf4_ t,T'>I LA画9t7!1@ė`6mpmg7}9 JN(8Yn3FkLAm0ܕ:dsU!6TۭwԊ/W +֍$^X%=٭{vDuiInpX>n_C%gܑzbHv9 ƫHWǢ2\v9sI+o9/6UTSEn#0}4IQ\姞^صYoNoRv|lKoZ1~HJ02QRqY O[8C r&,pNHvtkPa^`,+P?_m-'u$o,xHuuQ# ~4"RDA 4jwf/pehcT+*9癍QC_$Qrg) l9DIILT3{9 ɢ,ƸX0z\>S`=N?g&t.>֛8466?=,ZDL^ËFqa)Nz-˫y.tp{dZg^(5_&exNNTl$?7F@3A*aZ? 1pw6da ķYN}QְuxTߙ|7-g%ٸx@|X#9mSѼy<&Kmf3LK-wCOߓPY]m^-)vlCԈSi#Df.΂/ M_X+@rdޑp/`C}$pӕM kF0ۡd+q )ԛk%[`yED͖l2f26Lج5"yXIz8]+Xi He\yx׳GĤJP1n7^/OSMWjvr!b&Zu E՜ b48wfq "umTt|Y]o 7 WHATandWHERE_Securityg\ZG\jCle&*Wv-tsJa75"ԢneۋD؄FT}[ueø*|&];QYdD|Y}blS@[>JYͰЭS#{_siC]&rEN:.-]p!ݼЙMm ۙJE >RII#Hl' qc  ԿtEbqȣvzo/ C|:sHFוt#8K[5Jz7!t־?.QPo^w;u?.3jӺT5P.~cۘhC VNs V&׎}Z~A+ "u?w{!jo*fMa[jO$:ͽ(t#GTtA7XgYZ7zXZִF! ^]ŗXi%?68>S5v_Վ=o[5X'VMo=oa-?i5 d/H ]>ލXߐ Y nDu]ckNoɍ<6siוA v'w ]:9PS=)4}7җ8T%~.ʉBE0Υ`8 !d$M'%m)RC-. p!L|h:DϗTC A*Oetqz c?pNr.<}5-IngMI J'xQ&F58~[{63;.+rq8,bYű;-1FH舎>^۰aWi e(h45Ͻ$!78;cV2r6^#0ct]CݬvYH4K> TEv[Ka.[gjl*LzƄ'\fK=Ω]%}n'7x!#m1HYb+ < _캛1Rʅ66F0[@(jW · c 7vXƥTni@>C:fKd y\|,tX1K@T,:' U0kNiqP3;Hy[%1Y}ט.y*\ڇ/#} %3e; 2D{;ߓTOc>@H B:D,P+Z1oSn׺^b8;q^o;CA&7(҂{ND?>a$ 7!;;'"v/3G I+g㡞W®|\?%kmFh%i?$4AaK,*.wB9*pJ$a#JSyܣ Kϒײݝz3!BUɰEd o5{1*Y-? dǤA3W%bp<>&52¶\6Xmzۣv9JJ\:S][ϩЛ8WwNR/$8?\4   (e:[.>)|c?b4rYj< SvXHOҚgIyW dffV|Zt"qeutq7  ~AL<+)^3{bl~ WzPℾC>hx$"EY?\ MBAO݆ ]>?da)[osp-#6hv'|7 AX-|`0TGG'Ok{吱CD$0*~0;_)D|3SSl-()7B_\?dWcm._1WB=n$~k?/[1Rũ8= ~5Ɋ le+Z mbZ1.CG2z~8lb0/"}Z+4gc9.*M6_<3Vo:~heƿe2092bZ-k(~VA<5{I="~ozD]NLCFh;HNꓼMce ;FL+$e?yglþ }y'Yi[T򧨆{?nF$0sHЈ͊Zb$wUu~"`E#c~m@~oBXvi՞=8#GϞ^7a JN(!rU+I4?B] 3XyNQT't\J C($`x`,P6t(c>W3Ѡ}P˧S Zt=h)u :IĪ#'EHMhEriyf Z+a=ckZ#< 'vvu@Jg=;'< lį u0JC-:}w.D<0  {5bfdKNՈ%f-aӴ-EGtjjEܓIxwtl䌆ԝ-Äu/Œ`Q.*Um_X!bZ: : ;'݄fb<*ݖM\9@>+^* sBb8iI2s#ęF2N{;_ < gdEB̷=Z*F9‰vVCNV;Bl -$V䓍O'x>Sb$U^'T̼ xرgYZ1ab80a0d9b0082349f8a5935f816d9c6cbe5fdba 1db3099df03f1c28cada19ada3a74cc81ad144d5 25fcd21f22d7e78fbf9c7431cefcf47a109fe571 2ea80c097e975199e5a5b5134e6d34f77596fb72 313a93d05c3a89cddb927649ea4364dd24f1ba12 35cd6aa710d94fca8b21b82f07bd6d0ad19d7601 5855c11fb47d4644a3eb1661268515118b384fd2 5a9fef15dfe0647f0f880e3794ce8714bfdb3775 73e45363585842c702e7d37d17e80e1fe57ea21a a20370c8393d39ab3c57febc38a4519af54dfcec aea02b31f4dfe66729e8a51e8c33a68989d71644 ca0727eaeb92eea6fafeaceb7f36e3821f747fee ce8afd10ac419670ff92421eb7eb5d4a9f51eebd eb74f23254781395870bf911109bc107105c8b50db7c23777632c9a5808e846c4c293183c8f78938 d902304df1792a9edf11f13fc29f7daff49f3259