SQLite format 3@ . BBh77otableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "theory_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 y+ 4$ ]/ Strong_Security:threads=2elapsed=15.506cpu=26.884gc=1.012factor=1.737zXZִF! R]ŗXf1-/6vR[]IJ!@W&abZWdTUNZ`[KPu~-4ѭǻ|4TC=>AC{G22gɔ}j=uE!H>k=\7|'uzKN ZE?]d4 AC5%ʯ/>g*5(?D̡" X~Z}ő߾Ji  8_=;píi ]x'׍,6B9ȌYɪk w0b)a݀r#sهYDi&9{%@+ \alY4 L_a4/KOj}ӑWوDi 2@ֻ KGofv^[{W,ٚ)'ԐH]$,QDWu?Sgn#?É/ZA6Tjf'%qMlˣo]̭_ZY*;DU01R 1m ݁H=+`RqqE4/LpgrTf=pY_L}/?Ͱ {믜#vqgYZ7zXZִF!  ]ŗXiɟWڱIY\u-Iv*#ql 0( k,XO>WB׊wuNⅮUGj:eU=g]r8R-X(yϯ:OM > oB_{4Zv?A_g?g0t]NF䤡h7s+M#]]@CPSа)NH@r.kRGɟx*s/+MM;+pHj,Q]Xe#.3'oH{s'gYZ7zXZִF! Yw]ŗXi%93,2M`Z+F6S98$Nm_ NЉeh/k1 kȌu7,(p> {>OV{w'ܳ\rcm:M 8b6߉F<ŚhX_$W=aSs;: :JM@ A6]w&(EX=* ;w= k,kʏ<rGdV"E=sM-پ)k09Z!mn=N~{V1^EcOaim>J##Oł h*mByC}*N];o\I>%@ݕT2#O6gLl1A>sp*]ĥѐm&J𙽑 @M#pJE2f;YGI`x)/1&j a6s |Ucinp'u Yc `+%F}yTbh0)!o3M݆&ٹNNR\ϫ]O2<8* 3?RgYZ802fd6ece9af1039fad9b3e7f2b030cf31d615a6a86c2421cb3bf965bb7b88ea7ffb63ae19b7c19b 246f6e81708adcf47b424e236c7a30d027d9b852 + Strong_Security