SQLite format 3@ .;  B --?tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "executable" INTEGER, "compressed" INTEGER, "body" BLOB, PRIMARY KEY (session_name, theory_name, name))?S-indexsqlite_autoindex_isabelle_exports_1isabelle_exportsh77otableisabelle_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  6/pD?\̇/dRQ/Dͨ-υ2 Α1/aoJtx AE(HkRE?,)2"sjsdo!'jǏ1Yt `!V4=ͧ5mdY5tmI^*R#E`|7S_e~!mX1"Ue}+Qt'Q*Z8=F.UF#Q)/.9>X]Y v7= ƭ{tuYHe P&>`(4ͥA;Ri~|/֕HBBbS;ttN-{F d]]Ak<q3In!y$.ڀ|x5Vdw~832sb5Uɟ&m$D @t[$eq5i 7;!ia^a rR/ xҽG8 ;(f_Lv ޜ5ELng>HsS =\ ` / Liouville_Numbers  )>sy i=Tb1S*LCYV.^Ol{I gF~Η.uP2 }`+pK`v4iqOVҮm{FGpR_P'UO5r^ \ǂ,Vv(_a̞F(#QH~}[f'MgV>y-dID|64+[k<`(uXhM _wQwesoq~N{/ .'J=ۈ j^ ʍr]lX4}7-b9>ntt%b**!cO,8Rd-E嬸3HB@e$}='[ܸЪ/uAt_Bq2]5a<#҄ xM4qh6Ҕ$L΃:rH[z;Olwٿ7JVh_Xf Ei0+^}w &2Ez@&jq3аaGzTxBi=ͶPiCm#>~"~Ca!5RJf /a$H綣\J5VPQ佰 kG@nY>xȟÝZۛ$ ]+6\zGsE:¤a 'x$6!- IgYUU>F12(dke>ρH9j5G!8j )*1b@| soApo(}ͽ@2ُU ^Ƶ$+0n@3d+hK}KjFAtAvU"`Yۭ; M7v!Ѻ OPmجI27@Rs`nIws!MpBq0[ʜOoѦb~̹COs>.sW/T`8@hෞS@UU^ )ua|-E?TfQ,Erb޽=芤}.xF]X$3D _( Q)n /B.3Kz?wZɌs]khFJY?vN h`k.Ӯ̠OPtS;i@FwT&ܙ-ԕyK ay2Ϻt{ =+t89(-yժ,5` Ipd,ߟ GAM>ٞGAenQ@S|~J9zuĻȰ9>NqŽ56]wپv &p}iM,8w{b7(: LJPzNy샦W[Ѽvf BxGQQq5򨟉tVRs޳xPHÔ,b,j2"^r?Ɔnjx ^:]HEp#s 0bRI(sة j8ZСHm°vV.=r$Vly/s*({ PoA|!ZnӒ ?V( PHWl44d؜d>#ibojۏ>Ԝkl W_caA2WcPzF]J7 1/Ҫ8۽rTxC' K_A7!.>(%mhݰYZ*U4zMkɅENǎyֶ~ҷ̙)\z;sZKm[ߤsJ*djaJyULīa bAn\X=7=l2!ѳa%VC r W@<# 4 DpG1<Ǚ wsO(2F~?;6-݊S=MŪFÐBF, bDC\5a'ŞkI4V &f.2,:vCh@Ųr&44E"By8ph^Őtdq͒سvy u{CW=s}aBܛa.NQjn!޿s֬JV%9سۦev#SQ8\~OȲB})*nP c]3jby4:BpH2yt 'VGbɕs,qȮy€$kɘ{JErl7Jwx5E9Pn `Ɵ ?*ه}d