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 UU 7$| ]/ ComponentDependencies:threads=4elapsed=69.521cpu=202.800gc=8.264factor=2.927zXZִF! P:]ŗXf[&[:0.mʬ38+Ro.fWiqkKbt M-i e%nsFpPKt,nh-%eKxcq}20 RM 8@nZ=D_PditRZ޲pCфbڡ8+PzЧ 1 C~c0R y4+s2Mծ#oY` GCgqdK'̡*+:4(/G# 7(PqY,سHAx 0eM_FJxnS^m `$2F*jFQ[}|w47F,OLBWo248OgYZ7zXZִF! )]ŗXiɟf_ ȞK¢ `SF)qsL4]GP}?C<0|0BRpϿŊ#ǒClܢ}I42sX*ey& r4eQ|p@4~۱gYZ7zXZִF! 7]ŗXi%Bs%zM8}*䊷\%Ik2'[ ar uNXx`= ( A6P< 4iq7'xovy7<L'?r#X~G}Uv gHk6 1p 7ؤ.K d`o1{c&:>\ rrju| /24Eg#4<s'aitty0C"=wbzD^A}ygn:-~,ZZlZW%j j?8c ;@jKtަ؋54ЕatN6TdFK_JgNPQ~;Q뭾JoY]ª7.q />x` !'>]y4~lڗ~,Ѷݡ+J鞷,uXҤђ];=O&8Ap2]:cA@h\T?마ҎAYb#%&:TB,w%\ZNd ^8 {6[b"P.W.e3Qslo h}^; Bs'˭Z; !ߐPJjf% Tu*;i=DI@UKր29ji 5P_l?M?i1@%U;_~ ~,Eɫg@Iؤj*uD{@" ,@" y~~fn+ Ģiԭ97! & biljۣT ;쬞ڃ]zK+ uC1R$9NRgܻũxyjKCU9'RТ^sC$-Evf#cZ9mP0=4'.;|UDzepDRj}WZn1 TҼU}kHdmmtXG:[U q1@u.!_(pp5Dp_OTo%"=ʙ._oScې% &QE. k3IU{zfv#;%ɗY8PpIqEP wuSH,xܦ_4bM`0ARGE1:^؏njֈ< o9DuImMA՜o8KOS8. aD;P;G> PƠ[.)Ֆ?{ Ĉj'!D*N*-z+R!"VȔޚm uD4_9*\k0s 5i*g詫Tsts*A9U8~(Idͫwl(R[9 8!]nC(~yĢpk(cxTg# 7 ComponentDependencies  mWp(pUsJńRqŜn'}tM.@xա>jvMY\5&wx$UC0M\6\|}d/Y? $0+UU M`$]1os}3Y<Ikn<tT)Pe? f,$K6mq+0ʋl'UO]2†}RS]D,}euy]9[wiJ'85S"L[}"WI)/x6|lAXu5',o֖]ٛ`C판TH>v&Eދ w ;K3eL LBL^9l!n\&ƵoDGgU<ڟd rQp>PF$i:+~Bv9A9C >wE:;̙-{ĂzIVBf\CqNG4$[)oKA^^a:uchČ rO% u4|}rQK Z[ropVxm`[r6Xu7,J {P͸q W\xOIMg+O l reTTbaD*M4$&oOY*n X0Pb3`רEê7@ƃ0K`mwm:"DngS.CM1)?b (C%~ f}sҔB X!'+puִ!Dt [ݻўB|E2o_\s6~6a~bP5"T^a{,ugORQxgԧ[z}Vq[| !ePgbwV=\5$bC;rwdCh$L3>Ҙ?PxޒJǁ+hpLOyB5rvcm€XL(]˟l>/GDE6 hde(`Ƽ[ ęV>c&\n_hk$AC:: EH|/u˱ÉB^Ӗx*o F/!+HۛٱZY&"#FSeuv) \8. 2+#R]Ԛ$a)}#+_]rPK&v,S'@LIG(@us>!)] J@ֱ|x(N4?FtQk6X­{fLs,B\kr,fyǿj~U'͐& <+ 2KtλC"EJڛ]T,^lj@'wNUl];`-Qtw)2(-]tx/篼)fb~tZgz8!_9q*J.Hp1D'LaFF@NEE}TDhzb`0U,Fz-u kic'EH (/aL]pMHxfz+1HHs=z?<1VN;y5qAyУ꫏KҦJM9|!.$sώdtFI, I\w\va˜Y?EBzM RlMl̄%z.R\58%i`G5KʄFJ{n_Oc l29?\j>ILEFٓ;>N^֦ZNo5=;x໧&i$5ǰ, gYZ0cad956cf731350d77d3101c9a8486850a770c423853cc710de37a8d8ae8e2ce10739760530fc782 68e24fa803389d76024c730e22fc9263ebe14aa0