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 f/$,t ]S]HOL-Number_Theory:threads=6elapsed=35.778cpu=164.732gc=8.872factor=4.607zXZִF! _ ]ŗXf1-q恈D='-/w)P5$WD,^D7+ nL͊ [@EUD2\7SNmb Ǹh=;שF7*\h4I@ xmzOk`څsT:AO܂ciDc,4\Kj?{}0Lw 9' ~{6WpчPh}7~mmnaT?Aр`FZ]~+ c7F .+75M#q,x 9rvs \|_EcM^ktN"Y[5ϙ:{rCI0Yڇ} lm]!Š]kce8" u%ZlTx؇E~  ?uy(bځEzvkOn  b!8ˉI@ #>G[IѡW 5dO ${L )Texb kkr&; (R )GZ 7l<,'T.tbMM_Ukg#8 ;:#3נ>w]Xa_Hrdi<` ;;E' Ϟ.~J:ϊd ݢޡJnɇ߻7ڤ861_=jO9" գ?[mW'E4ij ?k6k V;-q.8A!wqBN䙴 f].)L@ 9Y}%)A 9O%-*4qJǟ@l.] _|\pnJ<7o0o~}o-p˷A倡ϼegI_C */Y6ٺ~V &cv<Š7k zM ܪ6'V%.—ܯQedv5܉S7fH'ʤ"KUR9)9_Dd*USͲ; k 5j+6 ڽcR2d ҄w(@F>Wϲ\hu:m/%uH [}B A-JOL"@EQt"lonU8{ԇIC";%ȃ`|'E#S4/=9% D=0d^]"fm^'*23XcH^a, RJrN -_oN$\8M{+!|yJrLn} iGuH6űC͝ R'Sa>?6fg>C ʦ"q|tźFNb&1s<ΖR>=jlPQR&/M/>mvYeD)˕Et1zpsCnAgGe_/$/B@z V}Y^6n,z-pI7.\7;#IKʼ\v]%6}xކ+1un[&afS䖡*׬WnA&eJx?60}}Klsv  R'N6;Ǚ F͂/_(o`oO-n4` $FuDZW|ȽMRI1&i{ğx=yH~(Uɱ@R-g&ȹG g>%>uv&v[=A\'ס.1Uu?s3iƘF,`=TM/0݇b{w͈e@36ңmK#B }37 U=c~r{Fh -P9@@v[NKuD>V<s,͹k6.s/Go`}ze'k / HOL-Number_TheoryXVgź*kit4ho~{ 3u1fÛ2p ӱgYZ7zXZִF! mO]ŗXiɟ1e YSCMqmO2]$Я^aC$EqJŲ=q@DB OX$'!>a2cYxNhH1mid@t;S Gli~R,'=Azȱ/8㞐jŪB&&gYD7D8DYiDԣu|{8N>$){:ViQ۩ҙsף+~>t qA^f  mdA檷:tΆSw% t26堉:C0lTm>vp4M~*\_ޣkCOڙ?ģi?@R=h_ExLQkb&'7ƦNz]yA(9 d@%@ASc: чswbɱSGХ+=] : Df 0Jgk6ap_{~9 #0fm^k}*䵆UN_3uegZ\ey !Qӎ x{W=H'^t)Np#vl"rS!^Lhs&i z#RVVq\H -StATxNZ|2> O!7Ȁ`V%RZӧ~h~$ E{SW7=SQYP%( ;EFs"`ۉ5hͫB,tI^Y>w}c, A-bE8Xl{;tLQu`UĤ_ūZmM<8B~ "**4IԺtnٰ59BF״َAcY,s&T6$;355%ZU&.$0sK궺Wm4`-e3Ñ8SS^S~3} `pv(ۭQC T8 N}1_Ph2rӺ<sU^};6[,T%Uu.q}`law>NPM}oqu".Uw`E򹸰Œ̪pvW/'x3bMF+6-8Bĝ$Sxyceߜse"TzGY>Y'_L$Ffe\Bhň5%ER!bqh @`sk5X"ΈuwU؃?SgVZ͆jai_Q>%֩E[pds(_3w!VSˍlJ5+Frg%4 U/)۷1Om/D]kwz-8RNt-AzbdU_QFϥe$,v+ϖ-\[cTfa$LdF9oP Ɣݞ>j8WfKq@#t4ˁM"Q~ 7si}w]ENN폏!?o]ו0V5:fA콤O+62?RW>kr:Aá?k'5ntǧU"<˝VSa,.շu[rkBF&¢2}hB#b&ISȶ8b%* ILf= p8U| q=:+T=mi,@ʭ݊D*/.^Y,2 4tY8Iη?G 3}lY71fjoQNFRcƩVAZPT}h ATWvaFlGTgfIᜓ\EAW}¦zZ@1