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  g g/DLD ]c LLL_Factorization:threads=2elapsed=54.652cpu=101.432gc=4.752factor=1.867zXZִF! !]ŗXf1-/6vR[2?h|MiCBp6ƽ7$e< 3 r`{EV =};Oʿm)a/WVCӉp`saj]Fa$yQ\7dY%{] Y~fdՀM?)hD 5(0VYgId&m0q`̏zF8E[=L.oyQ zެU?@O!_+,/p.SBUvy."n_[sx9ζNRƉ;jHxv+4O/͓~@KQ>Ws-6Q6[qdFt>jԮH(]q\n@Vqe G=*p~7Uh }B_XKPL5h'd2Q,)|o'=gu%.*KLFAK`V=mbb{m!zAo37U>锷B+é0KLXHt[W*F?dPv/70;,zÑ-8[MqAu AʝA: O~fV^3f5Ρ{Y *q=ju?u28tS y?0dyV Z!۫eUT0Ur-Brߓ?$DW:+ƒbΐH$v> =ۤ"WLXI*i iZ"gS$@^Jlib&RZ*0 / LLL_FactorizationR Al4BCD-t8u`Aa%b r޸l#Bg[,8cipfSq(@eL}[jD72x_٧GJ'OZc}X,uwCf IxlgmC LgYZ7zXZִF! ]ŗXiɟH~1 ?evv^B8۲S:Ψi|+Rѭ}`#zX=K_(:̺5!]k`znpH3xKB(ZSs: Ot1xyCM!Gm)\D .l!O2{NN+fJ.~L郜 y,g? -4mGg= ."WiUwĀ[RL?f7S q.Sl^[odBR+ݧhLj1бgYZ7zXZִF!  ]ŗXi%;-y=X}D kժEE*<:BlL'JG(w=?Bй3^E9Ɣ΄it-_'[B=EAVl`hu8 7EcT ©svhvdx2Z3BK!!٦SrAvʫֺ5tpI=2ֱ>M~!,v*]Wq EUka͐28??ߌdFv긍4|dtcٕJǤ!+8]os}Iҟ Ӏmi i1b\GBzp)fEi&{o~Ӳ7Bؚ%ؐA`[ۆ*6e+by8TmGŌE{Vs+Q,Јc ث&>x88ܣYE9TAx{GO"iu)ӑXҎ##cŊZE_Cp8L"M|cά-_yŧϞi۾CtzE"b~N @ 7E (ERPfih"qy @l&sj[$xË* ytwd%=AQM5uvLJw'QQ:>A}`dyWWc]^s1g0C'7Fnb(]|~sM9ib2Y!xS:*?ӈ泅̰q { bBԨ^.?@nEW̱QzWHs\x tCQe91AJ037͡Z]⣫3q/8&\懥_ kSl{ A%(X|69qfN {'j48 A0iLJUbjo5/3 N`Cx6w=ՠGkY=JxJق`~\*`'G=mZ ɵb\ ^2?OK8]|Vs,๝kk 9&\͚a |R_!G7m0uХ@53*̓ʽƽf5}LTeGni9z5?!9ߛޒPKpB3d fp3\5D0I>a.XJ r]Ē%4zn1;1` &֯K?2 e˂=X jM 88]E|zB鎓]kFh}c~jT&~=T&'ŗеnIyM2W?[8eٺ mhKev9VG[=%)љmSZW#VjsԷ VE!|q\HV``%'? 'Q\~j,{qK=ͤu[3־ÀW3eF=:\/v :Dz윟$k0(1]K!Rqu:5A:"k`bþJU&t!x:HUo<)V ^.ZtE JWWA\bG  ^ ǽ8(p IqM=acPVSzWC{bADǙӕLQf"n~wFn°^؃p)dsZ kqp\/EFbV⿕w}D]*PGz:ʍLә[Mw0X(:w.O##+N~S27[GT'|71>CBe[ِ/"&u 891")Ll!-7L7ZU"Xs`Q==e8ovI:Cl~5YE~!7|(ڽ] )ojd4 yzmv&l550m~T0kC͔6ǛpNDJU \U&8ʳXB(>Qz>$>ٻ` B"ۮht -hq3p4 Ґna6~4auH͙'i&&#. ">c@o+/vI k{XH?VUu=T娏2;ի͝ ^zѤ=HQc%VKG:-oGb NQfvZn=$k~5 !ØX"2 \{= 6[²Dž ?}GtIS nbE e:\ke4aJQMOqqN+QCv;hٻث7z$sS y)S{;A{S-誟?ocB"8oPߺߤ#Qwe%fIfQ_MT"kÿ.K¿[!4,wM_ ﱿ oGem)YHD$Ld+ dags!Ϟlu؄;ln4SwV1B^Ɍ-,4A r(pQh-Dy@.άB{gj?EGʂA6}lueՆ` ކ:\gBvqܖb(}{͐1m}&/YAYQML/WD1G0d]霺1u ֐\l%cve]$Z}Ȩo?ib3S|ڿ(/-'gYZ8bf0e358e70427650833611c14985a64c50765b779d8e835726df87c7b301a8f091eddccadfabbca 5aed350afdc15f56ad5b986907a91213f8d8b65d ad6d44f7aedb014e340bd82c93157922e7ad3f04 d60d9d5b06dcc91155fc420476e9f83938af9887 33884b86fc33b20e5d96bb9e9ee0593a5dabac87 4c4e44922ea5cfc1c828f37fe93e554b46181384 464e3b6b6b5da879c0d1f44329ed6fbf1674d01c 7b801768d214b1ab8d0ff990509ad7f14611c462 417abc038e7cdce03dedad48f9a17d717f284b5f e8e9ff08cf87bace84143fa836dd1c6a0bfbcb34 03981de1561fefa561083355edb24355e5bb945c 88087d190c7ca13404d6afe79626c1bd371997f3