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 ATL S Real_Impl:threads=2elapsed=70.144cpu=117.080gc=3.396factor=1.677zXZִF! /5"]ŗXf1-q恈͐7ӺV d>`;Gؽ8n򭖈:)FuKȾ"1-I5^l_ 0 2+.;8n\X|:Mo~Qz5ʽ߄{"sȫ- sc[<<62: ,; 7ڍ“G~.`h~o1/TSU뤧7bw\j bi1`_i9G\M`†^QCW6h94y>&t8X:O/J&S+οwo.4+} f)ì.l?Ije1ctĈj,D-WAFsO y[?z .؈;/IH5s*P]o_dآ' YΝ99߆"he|,Oimϧ+"Jo B Q+HK{P--?؆uQT P#1> ]Oxae6IZ[+]؋Z0,NZB0? f.*7ƋJP\Em5qɍ0A1/i̾(,4:q\TgJz3`#긲RO' x2#/'*PIq*jm^ @՝M=^)e@O1q&6uݫ3Ε:ESh-7}WL<?D8r "Q5WbNN!G亝 Q~{8@䫢>3޾ ^gYZ7zXZִF! QL]ŗXi%}yN׶"D> /jxH5vt"^M(n C4+LJ@lMxz/PFc&pNzQ-7JAnS7$%_ RƧU*de5~nE.(]-c9Մ q {o?S (P.,R#nťʋ} ݏzgGnAZ3l,۫ZOJpߟ--}8䦑K $b}%_ Ljլsra@vIԹAɀQm&A\W|2r7"FxG`Ujج]*>[z 1WѭoJ DP3|xEy Ɔ|;WB   Real_ImplT-\p[e ?W 6#Eo:qPMnh`.;V(G#WTV܈zXtgnFhO/2Y xU{EOkg$缬$>ny یC~glsW-(Pa(~\Ti4/{R}R˼i+Tbye0-vfOթyފn  #|i~*JiC@}V-ܭ pߗsEu(ˋ}3&Ѧb@\^K"vyݷpRg g9L%jkR'[frs /T?ѐcT/ԁt H-2c2&%L)vy#/67,QIb ~Ͼi,P̗Cl *[,)uP ?춘! V%='rxf|] B a>sGWȇXm˷I_C1ф뻿x0{aEGv^> Ţ?512o 2E+A SWV[3IO>P5T nlibE(.qN%/( mֲeP;RM&np0eYa H޶ Cʂ 1sCp{ҹ޿|~F[~VCnWx*y0ƒ>ZJ8 ]\l x~~E!lô2t^O뤜t.MT 51N5#%B '*ҿۼ-#kЖ1+@~ k'X;?`YꑔQfG0SFơ~NLEDT. Bu(x!n5ByپwlZHuÄ2DGЄ=ԸWi fZ颳jUIm^Jepxcr?٘v̄^*$6q_PJ5X/i: nu2/0-)E 3kM.D5!Yt%3qNK>S]0nCy$' ;1B̈,})>3`TvV39[54}?1 ד)A{-I,2xLNC{pŞŬG%DLy?27ߋv^-L؆|?H3DlN1l, nޟ4sѪ3F"EGixV:&[cM{xV\OeTvS-ֺ*#pUV[[?zE&u{ǘ~ںVo3Y D3#.Q@ vY}vWƯFcu P`5;fVf*4q ͧJz(or`J H"N[ԽqB:K</Gİ 5sUՄ[ N]ؽϻ_#([M\Ի#nhWI#S31 <8cN"bT"H:k|*8G7v^w׿)z$ ɇ 'ɺ>\2b&j WczQ'*s?򵝗jȩIj<]ӱEnz6N&Q4o7m-ٹH.'mw&*I*~ Q!Hb565LFDկ6' =M7VGDFr9f|IEVPwh$rFKΆm۪i߻ӵu0d͖)W|)=$=Dahg 0/A;8/+9K$a,bgqN ̹p8w:iJgO)$:g?=JhLv%~-X@SGMW0:ᎨD.PDODr+-4 ©uG}ܦJ)jm1FqRyq2 3αvfy ~BF=]: PSZ,ĢBBj=QzY1$ۧ8hj/z`SGM!*PZH,Qz_*}A]v1l䥷<̓NI|;iuaui7aDfx$Zpߜ]Hh08#mJqgnX?Sr/=w``_^az`W97ea 4:*QqZb|o/hc׺ Ǖ:ƼAT12;);$,קd4q>{}v-U 3 [Nа{.tD۴#Ca'48i˪yl+S/ʊeECtq_Fv{s!8D*y.o_(69Tc+/oa n־ 7qJ^&[.hYW/\;U7Ph^d:מ}zX:dK.ޑOe GQ俁WGɲ(RrNuY%#Q}04)Q@olSq(=9͢/gYZ0b69d8c3f70856201e8c054bc34357b13520292f 0f83e9379368d232af1423c3a9685e6e1cf74f88 15ef148210b86cdf647e94d83b17a757e522eb1c 268e812fffa5c2fd46f0296a94e824c975fbcdaf 3122c5b55089566c74375976fd6040cc34c326db 37e048eca1afc2c069cebaffb562a02b039bb22c 429952f9b1ab48f5480776e72dd795c832ab4fd6 493f6b95c01e3b8d08b35434bf9e1dbf887b5a6f 4e64acbbeb5a61c6c52e5095251724f54afb6bd2 591f8d0b5c5fa506f7d5752646a537df33575b48 767b848e899bf51172cfcafea6b2fd397e8b0312 78759369f7db0a7b2e1ca4cd148107e261ab15f1 79f31440868c5686b204e83e4f26f92eb8d94f9b 82fce86746f9061205d625fb926c1da3b71e3bc1 97020981c6aabcd5f9a12344194388cc00a68b45 9bdd5aa3a04f12448f7300dfdbe400d0b0c4b078 a526ece146642d823be07862c7c8488392c4dd25 a6d881014016ac510413e96c94577bf126ea335f ba3b3a5730257d7f4916bd70913829a914ccdf7a cf0eb34815c10b600e671c786585de3d3713e6fc cf643868576566a93293ed1d9c56e4de0f463ab5 d0721fa2328290669828585095650cb70a632dce eb0a525d24670da3e4d4a161d9b247837fce8ef2 fb4ac87c1f226e57b51cd98aed45cad7a48f7853 ffdf6fda1f24723dfc17567936f72f74e0f466450ba1ca971c8be00bf94431f0078936b10d2759a5 0ce03196a7222f6488e31156b520bc36971a656f f34101b7be21ab0b7c72e4348452da5734a9ced2 8b14fec02488efbde46de225d3a07bfdc412baeb