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   d#\T ]S]HOL-Algebra:threads=6elapsed=29.105cpu=135.104gc=9.508factor=4.647zXZִF! I]ŗXf1-q恈\T,rB I|2C;" FEII핪j*~m5 sW ceh \zqCnxjpنF|M r#V3LuŜ+ޚJy-h|~e%7INhV1ԭ # HOL-AlgebraŴ<,L舄$1o4e>p9_@iNuA.[/Ӄ94zпoݳ_r]M2vIM+eY9AOklA}谒UH>K֯ \ M=ǎYKs>Z(x[}p m qVy:!Z o>Fa-#YN0B-%]*`8ד/p? Kb Rށu9M,6|YgM澺Y6iCZGcri%KҜpt8'ђD~3Ṹc=>w&x)]?3lLipicygjeu *@Շ]l+Hu"F)"hmL5J7S 7ME8̱Nwŀ;s9=47:n?›]=pN^X/ؘP,cpB;F`G2Sjg @lCPAAyhIv g>NƇG m-d9CWnZ,\gYZ7zXZִF! ]ŗXiɟ1`?#DaCu8g$] :nki) 7Dz{cwx0r]Dʬ@c(l\67plJoEм@_Xur:IWiOĭ~e @! :*V(9iZ [~}@b'䯿Qo 灇'<#\+""wÞTh`#%JgDod_QRQ%rګHpO_fy ZoN}[(5r@XK}Om0{] B|A2!,ͦ6ʋ?KwHxf_Hl}\r8.{aO/:+Gab[K|Ԭ?-4ceF9ȔnE&xo!~_ C$gYZ7zXZִF! "]ŗXi%HcE[o?А-^PBTVJj.@Bz *LHRc S7\X0bdh&oA8fx:6ia}~|0_ta\{01:^i8jҥ>c޽D{fRD\vBތp)Qr!6w=&tj:3skl;t'ٕNXM?nU!fqѽ^NB֐"B`Iv;/&A(xo]Vj#_a@6{ZEt[ K֘^);p3ف-^NlvN[ĂtO}(9?A )6*2o]!jjӾ Q_m痲mpTшZ&oH>"@цM$F"G ePw*bђ[tI,fm0~y"2J90JzR υaU< [W`6]zg).fJ'cBT:V"cWۑ p(wA}a7 H:ḻ;N6n9i3^Hoy Y[*Jsdqێ/N2·zdB%Ef{2‹ dԹ^9pŐuK{?إuŘz7`=KEjs"?`>7WZçN%%9Oq-ql\jiTG lDrG3G ~_?(a~a??sj] pI+ =׵)T0/zF;Tr8Yaš޿D@g`>יY USf Ǔo=c ?bM -q|]{48klڕ'@k C|2Xʵ;j\?"Ie\ZMkbz*B!0iGZmsmPH@3dqBv 'NqJ?,VfY_05vr  %/_@%bt5X]r.0')WU+O}yL7P̉E`PPZv]q (Kw̤|,/JjqP^˯`@LW/}<#n:\ [ mЏeia$aG(mʏ4IA$"Qje d ǧY+@pEj>@[^:QꉥAFv/?vulߔ 5xFUm` J$=#pKbkP¦MJGl:4 KU.:,Ò(@Μ K !)5Dώ,}v^ :<.qw\jvy;Ɇ:~&  :P̤C^C@g+}RK cjPRQETXbؓ@ TXtפ3f k˝|@~8V zEXRvt+[5 6gvڷ Cÿ"?%c Tޙ_>U~Zyk]ez`ek% (EX|5Dx) #B%rgDJJ)t\ ?Eo:]*Yb(`UYΞZsz'O ?#=