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  /t,l ]S]HOL-Number_Theory:threads=6elapsed=35.210cpu=163.568gc=8.244factor=4.657zXZִF! `g ]ŗXf1-q恈D='-/w)P5$WD,^D7+ nL͊ [@7/k8Uv~ڊI\ddװ;!pZU]aA-".Ղ hsx\6 ;6leHVQȊ 꺁YkX@,rmQFZB`{Uҽ(3}*Rۍ2],zf8 !Ԑdkο#t~dDW }7[YFȂq$ϊG1* f(h*Y+䯾P5O ׾3!]􍧡̨#o9>p7ɭ6H#bFv(aF{ lq}3)>GRdNr!;9}C BOмOiʾL['d$ v4tw/뮜T‹߿Ԇ|_P<ǵx1*..;=򬍻O;ͩ ǔ'#!&&Ru Y{EeZdž6!t)G ]fe/3 ڣkIxewC0V ErhZ$\=#f yQU濞_0bYJG{v8yb4OmQIgYB 5=.+: RݿYw`JM^j7D>_濼#X4:Q),{cT&hC _ep>Ý\&>}_,bPL #9wj=k|3[b]qH(TmǂlSl[8bh PV "sDrI͚ )^L5G gOxO; q`79' TlgCІuȣ`$7 dR+{,5m] Eق?@u溚vxb=XJpa֏'fDgP -@Poԋ3B0TrX6 /=!çRY}w@5Q#N쮘. XhE[*N4vɎ(:% ҩ>v-Tg[Ȟ7H%qys˭1W\F "RAVs0v(ͥLV?m#Uv:>6p֘i^dsaj ϥ / HOL-Number_Theoryous%&kyUl+Q8nN*i(GvΐVţ$vTmgYZ7zXZִF! mM]ŗXiɟ1e YSCMqmO2;dcck)mUobG]fLNJ0rHa߯ FRQ?sd?jL+O߉\3$MrwH-Ff b2+ Nczԡ1GR/֖4Mf|D! `Gǟtg@gE8u+NVR`-C;3&?iA[0%b0/-^oICR;G(4= Rphp(E~3cZ a"_AXM_ՂCъ?3JFLNi5ͤ[kPfgޣ]5 tFzG9ގ7[7,o)D9 &/S `EϽ\\;Ư.K]!0@\&%103gaꖿҟ}"1KqsKn-7LM\g(XU+PC{v,-gYZ7zXZִF! ࡚ ]ŗXi%;w hP%Vݟ982h:$v[A$U%R ɧo/xN .H m[nEns.#lPc>=1ijJӜc_Xf|Ge`]{& V4^#dzYM/E=_ 4"LpfV?*WP|cp/bUث+EAnp[ϧm^`4%my37F&N[8 6@T:/rmE$%Uucէr!NA" ԃ*7{D=vd !x π?ݷ_חy);v8f;bxPlkt5MAj07p.!a2ߖH"{pVTݟ\/^W@aS}ݓф iwD+NTN9jj~CԺg4ɄELi_Tj Xן;k Q rWw^I&/Wi KG?cvs}f-m,ʻWPH1[ERXQfX53TY=Ȟ' $vv†+"{9óߢt1ja% LTwV06u e>ЬCDg;F|lčZX'Wbn)ǟu”E|R63Fn]J:%Jet32VVfpL.H eD`FZ4-e`5ja@( vr-LLFVJE.6 /QfV ig!}|][qGtw#1HmنAYBM-B73PJ"yHwp!dubDZch}2S2=#PsaBq1Zy֟Fw+=RFpxPPF(#H2V\WAR#}(e~&d3<$y'9HZt`)%tHs_Sw)C]9 B%[F%cuϿ)ywԐ-`q8L}j잛=1[SkCh)Bb_6=L` L?+0NG^!BѣqĚ)`Io#Dv̉f. ;+H |NsŹhf?X LTLcca' b%d0^\֐.CX YKPܯ3bM5ku|r6' R,TS1p`ʜ2W?L-KJ3_$ ~ oL:9%[I6x\ $k[b?s lr5=H2]s.wT2y29o(w^1M킫1zG%E*ŞXlӠP$NGL)Z_R ?;ciW>I15i8ouG-bPfV #!UI ;ʱ[J!:]i|_M"nTTWE'eemJo> hŵm8!L<~|ow L:Vƾ0j'ΏB@><w'd=x%5(mFΦYilXx@M~rޫ[0mL߶@1Mk(;M֩c醻 `G0ʆxv6 мŐк~Ih ;8u1Sa_RxC6R'gJ2\8)IWp>4y!C^Cgh"%ZJRȼ;PeDYHD<$pb.1}zRb[7yt,,gYZfaa5c5d8768b7d6d42113c7127b2c1c4ac9d57b59884737fddd3e6081253c712523f8ecc142c72ee a26171661ac87092335660b10885b138f2715297 4635c60c913dcc5f9239b81dba841b472bc64dcd 211525a3c0f8cdfeb130c0cd1cf1f8ab186e64825d35a75826cf5f18a444612b1ade2a944944b005