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  V V/Ld +]Regex_Equivalence:threads=2elapsed=61.784cpu=100.496gc=4.488factor=1.637zXZִF! -]ŗXf1-/6vRZCV4 JpۚF։}fj.gP {{ @> ,BN]9jÛ& 'ܹ^#W q!jJڄZ^ ~pݚX^h?"RT1/4V9ܜC7EogklC믋 [ZV߿P6SQݗO}KoQ]CBIA?du.B. X!Ve"e*D<5ek9S<: DÞ W  YΤNmYI$"Y!Uyq#BD 6δ:nol-~^H<*ZdR>#Xii]ci˓q13 Eh=գtqy:!^{rB'99HY*] m=.5 ᦋ+DAcj_Lndž4-utKSpn!('H-?㻲w#cTk<*t9gn 7IVxMX"7|$hFF)@ ^2)v(QvGk:+7[х P$ւ "o%5yT: -j?>=u5p49wG$}*dk LλG3 /KL@WAD' 7 2qITn͓piHDN}rW`S-cpZ S9bի!sf\qfW{\jP'O2_}Ҝ2zk̵_H0On"%j;aAlw[]-LGl+ Ƒ2DžG+$]3{Xa>H^|3.x6A[Q3Ol{QRȝJ@63GZ[+8FI-۬D'_AbPl c3`6&M%LGA2}X7!oF)BvϷ,BoJoi4: 'dϤ23ՠ/|7FH;t&70a,McqϚai=P15n෮&Wtj^܆'roFM0_BCϻ1di{m48¨%*K8h <"Jd8W:uL$=TG"l5{d҈;rT§+]Oi:>ehӄNZ׮;ٌTT(e #7/gFX)sBbB!"D ?sϣ:^+KH`JI [Wx_k6y㹯<+ʚ_3V[``1/\'W~Vl`wwaevpt+w$wjz`b擁@~th譮q:qk֢G^ȫ"ChgQE.Ù6S At f@mhTczцNfʸPp-GT5~e(!,\"ߝ֘ V_cWX. 8㉕iLhA D?@_U~" )2ypNA_=#+Ze?0*Κ:%2v~KIw%m: rzsKGm(47 !TaπI]Q\p*ɜ}j)=M=옥}<Ʃ5?=({hyHkrcngcW=2%OK%#g+Zjf57Cugw Zu7l(\N44wr i2:e$W8queߜUD9udb Ԭ3̉M=* Vqұۜ`z] =vݡ p-WҁW;wvwCI8^fUaX<ڷi39WJ*WHli} ] 8=ItP68HϘ'PHL EQLv`(İn$!jB%_ PNK9+Ȗ6=Jyʾf#%0d7 |_Ӛ?ĺuEk2Fkq>f}|q9]ΤC1ZfJ;t,s^FJO8x=,`lK6- fh4MW =7d ǣ8nQ#_+4;Z`+X{.^SbҕDb`;^[*a i5I2u~W9 /ժ[>X%07(<u%kV!`_sMl=V&#x#Y&#M| W Z8hDӾɷgPV0VD